AS-5-3 時間付きオートマトンでモデル化された人間-機械系におけるオートメーションサプライズの一検証法(AS-5. コンカレントシステムとハイブリッドシステムのための形式モデルとその応用, 基礎・境界)

元データ 2005-03-07 社団法人電子情報通信学会

著者

潮 俊光 大阪大学大学院基礎工学研究科
足立 正和 (株)豊田中央研究所
足立 正和 大阪大学大学院基礎工学研究科

関連論文

▼もっと見る