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

Author(s)

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

Bibliographic Information

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

研究代表者 関浩之

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

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

Other Title

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

Title Transcription

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

Available at  / 1 libraries

Search this Book/Journal

Note

課題番号:18500023

Related Books： 1-1 of 1

Details

  • NCID
    BA86357960
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpneng
  • Place of Publication
    [生駒]
  • Pages/Volumes
    1冊
  • Size
    30 cm
  • Parent Bibliography ID
Page Top