振舞仕様に基づく問題モデルの構築と検証 Construction and verification of problem models in behavioral specifications

著者

• 二木, 厚吉 フタツギ, コウキチ

書誌事項

振舞仕様に基づく問題モデルの構築と検証 = Construction and verification of problem models in behavioral specifications

研究代表者 二木厚吉

（科学研究費補助金(基盤研究(B)(2))研究成果報告書, 平成15-17年度）

[二木厚吉], 2006.3

タイトル読み

フルマイ シヨウ ニ モトズク モンダイ モデル ノ コウチク ト ケンショウ

詳細情報

• NII書誌ID(NCID): BA77953627
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpneng
• 出版地: [能美(石川県)]
• ページ数/冊数: 168p
• 大きさ: 2006.3
• 親書誌ID:
  • BA30193701