水野 健太郎 | 大阪大学基礎工学部情報科学科

スポンサーリンク

概要

• 水野 健太郎の詳細を見る
• 同名の論文著者
• 大阪大学基礎工学部情報科学科の論文著者

関連著者

• 水野 健太郎

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

• 東野 輝夫

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

• 谷口 健一

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

• 東野 輝夫

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

• 谷口 健一

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

• 中田 明夫

  広島市立大学大学院情報科学研究科

• 中田 明夫

  大阪大学基礎工学研究科情報数理系

• 中田 明夫

  広島市立大学 大学院情報科学研究科

• 岡野 浩三

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

• 安本 慶一

  滋賀大学経済学部情報管理学科

• 森岡 澄夫

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

• 森岡 澄夫

  日本電気システムIPコア研究所

• 森岡 澄夫

  大阪大学大学院基礎工学研究科情報数理系専攻:(現)日本アイ・ビー・エム株式会社

• 森岡 澄夫

  日本電気株式会社システムipコア研究所

もっと見る 閉じる

著作論文

• 遷移の選択が状態訪問回数で決まる有限状態機械対からなる通信系に対する生存性の検証
• 通信プロトコルのLOTOS仕様から並行EFSM群への変換の一手法
• 遷移の選択が状態訪問回数に依存する有限状態機械対からなる通信系に対する生存性検証システム

スポンサーリンク