抽象モデル検査とその応用 Abstract model checking and its appllications
著者
書誌事項
抽象モデル検査とその応用 = Abstract model checking and its appllications
萩谷昌己, 2002.3
- タイトル別名
-
平成11年度〜平成13年度科学研究費補助金(基盤研究(B)(2))研究成果報告書
文部科学省科学研究費補助金(基盤研究(B)(2))研究成果報告書
- タイトル読み
-
チュウショウ モデル ケンサ ト ソノ オウヨウ
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
研究分担者: 玉井哲雄, 高橋孝一, 山本光晴