橋本 静香 | 豊橋技術科学大学 大学院
スポンサーリンク
概要
論文 | ランダム
- Cプログラム・モデル検査におけるDbC(一般セッション2:モデル検査とコデザイン)
- モデル検査技術によるソフトウェア検証
- AS-4-6 I/Oオートマトンのモジュラ制御における調停問題について(離散事象システムとモデル検査,AS-4.組込みシステムの形式的手法,シンポジウム)
- AS-4-5 モデル検査への事前条件・事後条件検証の導入(離散事象システムとモデル検査,AS-4.組込みシステムの形式的手法,シンポジウム)
- AS-4-4 Qos公平化マルチリソース配分へのコンセンサス問題の応用(離散事象システムとモデル検査,AS-4.組込みシステムの形式的手法,シンポジウム)