図書

無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究

図書を表すアイコン

無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究

国立国会図書館請求記号
Y151-H18500023
国立国会図書館書誌ID
000009557358
資料種別
図書
著者
関浩之, 奈良先端科学技術大学院大学 [著]
出版者
[関浩之]
出版年
2006-2007
資料形態
ページ数・大きさ等
1冊
NDC
-
すべて見る

資料に関する注記

一般注記:

文部科学省科学研究費補助金研究成果報告書

書店で探す

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
タイトルよみ
ムゲン ジョウタイ モデル ケンサ オ モチイタ コウシンライセイ ソフトウェア ノ ジドウ ケンショウ ニ カンスル ケンキュウ
著者・編者
関浩之, 奈良先端科学技術大学院大学 [著]
著者標目
関, 浩之 セキ, ヒロユキ
奈良先端科学技術大学院大学 ナラ センタン カガク ギジュツ ダイガクイン ダイガク
出版事項
出版年月日等
2006-2007
2008.5
出版年(W3CDTF)
2006
2007
数量
1冊
その他のタイトル
研究種目 基盤研究(C)