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

著者

• 関, 浩之 セキ, ヒロユキ

書誌事項

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

研究代表者 関浩之

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

[奈良先端科学技術大学院大学], 2008.5

タイトル別名

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

タイトル読み

ムゲン ジョウタイ モデルケンサ オ モチイタ コウシンライセイ ソフトウェア ノ ジドウ ケンショウ ニ カンスルケンキュウ

注記

課題番号:18500023

• NII書誌ID(NCID): BA86357960
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpneng
• 出版地: [生駒]
• ページ数/冊数: 1冊
• 大きさ: 30 cm
• 親書誌ID:
  • BA30764121