A-022 制御ソフトウェアの仕様整合性検証手法の検討と評価(アルゴリズムと応用(2),A分野:モデル・アルゴリズム・プログラミング)
スポンサーリンク
概要
- 論文の詳細を見る
- 2012-09-04
著者
関連論文
- 形式手法を用いたシステム設計検証技術
- 形式手法を用いたシステム設計検証技術
- B-018 状態遷移を持つオブジェクト間通信のモデル検査技術(B分野:ソフトウェア,一般論文)
- A-022 制御ソフトウェアの仕様整合性検証手法の検討と評価(アルゴリズムと応用(2),A分野:モデル・アルゴリズム・プログラミング)