形式的検証手法を利用したデジタルシステムの設計デバッグ技術に関する研究

著者

• 藤田, 昌宏
• 小松, 聰 コマツ, サトシ

書誌事項

形式的検証手法を利用したデジタルシステムの設計デバッグ技術に関する研究

研究代表者 藤田昌宏

藤田昌宏, 2005.3

タイトル別名

平成14年度〜平成16年度科学研究費補助金(基盤研究(B)(2))研究成果報告書

タイトル読み

ケイシキテキ ケンショウ シュホウ オ リヨウシタ デジタルシステム ノ セッケイ デバッグ ギジュツ ニ カンスル ケンキュウ

注記

平成14年度〜平成16年度科学研究費補助金(基盤研究(B)(2))研究成果報告書

研究分担者: 小松聡

課題番号: 14350178

詳細情報

• NII書誌ID(NCID): BA74809227
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: [東京]
• ページ数/冊数: 151p
• 大きさ: 30cm