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

• 小池 隆

書誌事項

タイトル別名

• ジョウタイ センイヒョウ ニ モトズク モデル ケンサ ノ シエン カンキョウ
• Model Checking Support Environment based on State Transition Matrix
• 組込みシステム
• クミコミ システム

収録刊行物

• 情報処理学会研究報告 = IPSJ SIG technical reports

  情報処理学会研究報告 = IPSJ SIG technical reports 2008 (116), 91-96, 2008-11

  東京 : 情報処理学会

詳細情報

• CRID: 1520572359477495808
• NII論文ID: 110007099105
• NII書誌ID: AN10539294
• ISSN: 09196072
• NDL書誌ID: 9736178
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I9736178
• 本文言語コード: ja
• NDL 雑誌分類:
  • ZM13(科学技術--科学技術一般--データ処理・計算機)
• データソース種別:
  • NDL
  • CiNii Articles