中田 明夫 | 大阪大学基礎工学研究科情報数理系
スポンサーリンク
概要
関連著者
-
中田 明夫
大阪大学基礎工学研究科情報数理系
-
東野 輝夫
大阪大学基礎工学部情報科学科
-
谷口 健一
大阪大学基礎工学部情報科学科
-
東野 輝夫
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest
-
谷口 健一
大阪大学基礎工学部情報工学科
-
水野 健太郎
大阪大学基礎工学部情報科学科
-
伊東 達雄
大阪大学基礎工学部情報工学科
-
李 湘東
大阪大学基礎工学部情報工学科
-
安本 慶一
大阪大学基礎工学部情報工学科
著作論文
- 遷移の選択が状態訪問回数に依存する有限状態機械対からなる通信系に対する生存性検証システム
- 遷移条件が状態訪問回数に依存する有限状態機械の生存性検証
- Deriving Parameter Conditions for Periodic Timed Automata Satisifying Real-Time Temporal Logic Formulas (New Developments of Theory of Computation and Algorithms)
- 時間制約の記述されたLOTOS仕様からのプロトコル合成 (マルチメディア通信と分散処理)
- 時間値による状態爆発を回避した時間的双模倣等価性検証法(計算モデルと計算の複雑さに関する研究)
- 隣接しない動作間の時間制約を記述するためのLOTOS言語の拡張とその等価性の検証
- 時間制約付LOTOSで記述された分散システムの全体仕様から各ノードの動作仕様の自動生成
- 時間制約付LOTOSの等価性の証明(計算量理論)
- 整数データを含むLOTOS仕様の等価性の証明について