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

• 小田 哲也

  大阪大学大学院基礎工学研究科

• 潮 俊光

  大阪大学大学院基礎工学研究科

• 足立 正和

  (株)豊田中央研究所

• 佐野 範佳

  (株)豊田中央研究所

書誌事項

タイトル別名

• AS-4-6 ARBITER PROBLEM OF MODULAR CONTROLLERS FOR I/O AUTOMATA

収録刊行物

• 電子情報通信学会ソサイエティ大会講演論文集

  電子情報通信学会ソサイエティ大会講演論文集 2007 "S-46"-"S-47", 2007-08-29

  一般社団法人電子情報通信学会

詳細情報

• CRID: 1570854177250457344
• NII論文ID: 110006627687
• NII書誌ID: AN10489017
• 本文言語コード: ja
• データソース種別:
  • CiNii Articles