無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究 ＜科学研究費補助金(基盤研究C)研究成果報告書＞

書籍データ

平成18年度-平成19年度科学研究費補助金(基盤研究(C))研究成果報告書

著者名：研究代表者 関浩之他の作品を見る

出版社：奈良先端科学技術大学院大学

発売日：2008.5

1冊 30 cm

ISBN：