論文

本文へのリンクあり
2008年11月

状態遷移表に基づくモデル検査の支援環境

情報処理学会研究報告
  • 小池 隆

担当区分
筆頭著者
2008-EMB-010
116
開始ページ
91
終了ページ
96
記述言語
日本語
掲載種別
研究論文(研究会,シンポジウム資料等)
出版者・発行元
情報処理学会

リンク情報
CiNii Articles
http://ci.nii.ac.jp/naid/110007099105
URL
http://id.nii.ac.jp/1001/00033803/ 本文へのリンクあり