AS-4-6 I/Oオートマトンのモジュラ制御における調停問題について(離散事象システムとモデル検査,AS-4.組込みシステムの形式的手法,シンポジウム)

元データ 2007-08-29

著者

潮 俊光 大阪大学大学院基礎工学研究科
佐野 範佳 (株)豊田中央研究所
足立 正和 (株)豊田中央研究所
小田 哲也 大阪大学大学院基礎工学研究科

関連論文

▼もっと見る