論文

本文へのリンクあり
2009年3月

状態遷移表のモデル検査におけるLTL検証パターン

情報処理学会研究報告
  • 矢野 恭平
  • ,
  • 小池 隆

担当区分
最終著者
2009-SE-163
31
開始ページ
303
終了ページ
310
記述言語
日本語
掲載種別
研究論文(研究会,シンポジウム資料等)
出版者・発行元
情報処理学会

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