無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究
著者
書誌事項
無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究
（科学研究費補助金(基盤研究C)研究成果報告書, 平成18-19年度）
[奈良先端科学技術大学院大学], 2008.5
- タイトル別名
-
平成18年度-平成19年度科学研究費補助金(基盤研究(C))研究成果報告書
- タイトル読み
-
ムゲン ジョウタイ モデルケンサ オ モチイタ コウシンライセイ ソフトウェア ノ ジドウ ケンショウ ニ カンスルケンキュウ
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
課題番号:18500023
