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

Author(s)

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

Bibliographic Information

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

研究代表者 藤田昌宏

藤田昌宏, 2005.3

Other Title

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

Title Transcription

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

Available at  / 1 libraries

Search this Book/Journal

Note

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

研究分担者: 小松聡

課題番号: 14350178

Details

  • NCID
    BA74809227
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    [東京]
  • Pages/Volumes
    151p
  • Size
    30cm
Page Top