抽象モデル検査とその応用 Abstract model checking and its appllications

著者

• 萩谷, 昌己 ハギヤ, マサミ
• 玉井, 哲雄 タマイ, テツオ
• 高橋, 孝一
• 山本, 光晴

書誌事項

抽象モデル検査とその応用 = Abstract model checking and its appllications

研究代表者 萩谷昌己

萩谷昌己, 2002.3

タイトル別名

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

文部科学省科学研究費補助金(基盤研究(B)(2))研究成果報告書

タイトル読み

チュウショウ モデル ケンサ ト ソノ オウヨウ

注記

研究分担者: 玉井哲雄, 高橋孝一, 山本光晴

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