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

著者

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

書誌事項

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

研究代表者 中島震

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

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

タイトル読み

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

注記

課題番号: 17500028

詳細情報

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