代数仕様アプローチによる制的モデル検査手法の研究

Author(s)

• 中島, 震 ナカジマ, シン

Bibliographic Information

代数仕様アプローチによる制的モデル検査手法の研究

研究代表者 中島震

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

[国立情報学研究所], 2008.6

Title Transcription

ダイスウ シヨウ アプローチ ニヨル セイテキ モデル ケンサ シュホウ ノ ケンキュウ

Note

課題番号: 17500028

• NCID: BB03821671
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpneng
• Place of Publication: [東京]
• Pages/Volumes: 117p
• Size: 30cm
• Parent Bibliography ID:
  • BA30764121