中田 明夫 | 大阪大学 基礎工学部 情報工学科

スポンサーリンク

概要

• 同名の論文著者
• 大阪大学 基礎工学部 情報工学科の論文著者

関連著者

• 東野 輝夫

  大阪大学 大学院情報科学研究科

• 谷口 健一

  大阪大学 基礎工学部

• 東野 輝夫

  大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest

• 中田 明夫

  大阪大学 基礎工学部 情報工学科

• 伊東 達雄

  大阪大学基礎工学部情報工学科

• 伊東 達雄

  大阪大学 基礎工学部 情報工学科

著作論文

• 遷移条件が状態訪問回数に依存する有限状態機械対からなる通信系の生存性検証
• イベント間の時間制約を論理式で記述できるラベル付き遷移システムとその双模倣等価性検証

スポンサーリンク