形式的検証手法を利用したデジタルシステムの設計デバッグ技術に関する研究
Author(s)
Bibliographic Information
形式的検証手法を利用したデジタルシステムの設計デバッグ技術に関する研究
藤田昌宏, 2005.3
- Other Title
-
平成14年度〜平成16年度科学研究費補助金(基盤研究(B)(2))研究成果報告書
- Title Transcription
-
ケイシキテキ ケンショウ シュホウ オ リヨウシタ デジタルシステム ノ セッケイ デバッグ ギジュツ ニ カンスル ケンキュウ
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
平成14年度〜平成16年度科学研究費補助金(基盤研究(B)(2))研究成果報告書
研究分担者: 小松聡
課題番号: 14350178