このアイテムのアクセス数:381件（2023-12-10 08:48 集計）

このアイテムへのリンクには次のURLをご利用ください: https://hdl.handle.net/11094/1455

閲覧可能ファイル 

ファイル フォーマット 利用条件 サイズ 閲覧回数 利用開始日 説明
18815_Abstract pdf なし 120 KB 73 2014.06.09 要旨/Abstract
18815_Dissertation pdf なし 346 KB 69 2012.09.22 論文/Dissertation

論文情報

ファイル出力

タイトル
Formal Verification for Dependable Systems by Model Checking
モデル検査手法によるディペンダブルシステムの形式的検証に関する研究
モデルケンサ シュホウ ニヨル ディペンダブルシステム ノ ケイシキテキ ケンショウ ニ カンスル ケンキュウ
著者
NRID
1000050382362 1000050382362
著者名
横川, 智教 ; ヨコガワ, トモユキ ; Yokogawa, Tomoyuki
学位名
博士（工学）
学位授与年月日
2004-03-25
学位授与機関
大阪大学
研究科
基礎工学
専攻
情報数理系
学位授与番号
甲第09966号
学位記番号
18815
言語
英語
ハンドルURL
https://hdl.handle.net/11094/1455
アクセス権
open access
出版タイプ
Version of Record
カテゴリ
博士論文 本文あり / 基礎工学研究科 / 2003年度
博士論文 / 基礎工学研究科 / 2003年度