Formal Verification for Dependable Systems by Model Checking
横川, 智教
アクセス数:793件（2025-07-11 09:53 集計）
|
|
固定URL: https://hdl.handle.net/11094/1455
|
閲覧可能ファイル
| ファイル |
フォーマット |
利用条件 |
サイズ |
閲覧回数 |
利用開始日 |
説明 |
information |
|
18815_Abstract
|
pdf
|
なし
|
120 KB |
128
|
2014.06.09
|
要旨/Abstract
|
|
|
18815_Dissertation
|
pdf
|
なし
|
346 KB |
116
|
2012.09.22
|
論文/Dissertation
|
|
論文情報
ファイル出力
EndNote Basic出力
Mendeley出力
| タイトル |
|
|
|
|
|
| 著者 |
|
| 学位名 |
|
| 学位授与年月日 |
|
| 学位授与機関 |
|
| 研究科 |
|
| 専攻 |
|
| 学位授与番号 |
|
| 学位記番号 |
|
| 言語 |
|
| ハンドルURL |
|
| アクセス権 |
|
| 出版タイプ |
|
| カテゴリ |
|
|
|
| 資源タイプ |
|
| ローカル資源タイプ |
|
|
|
| DCMI資源タイプ |
|
| DCTERMS.bibliographicCitation |
|
| DC.title |
|
|
|
|
|
| DC.creator |
|
|
|
|
|
| DC.language' scheme='DCTERMS.RFC1766 |
|
| DC.type' scheme='DCTERMS.DCMIType |
|
| DCTERMS.issued' scheme='DCTERMS.W3CDTF |
|
| DC.format |
|
| citation_title |
|
| citation_author |
|
| citation_language |
|
| citation_public_url |
|
| citation_date |
|
