菊野 享 | 大阪大学大学院基礎工学研究科情報数理系専攻

スポンサーリンク

概要

• 菊野 享の詳細を見る
• 同名の論文著者
• 大阪大学大学院基礎工学研究科情報数理系専攻の論文著者

関連著者

• 角田 良明

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

• 長野 伸一

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

• 長野 伸一

  (株)東芝

• 菊野 享

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

著作論文

• 通信プロトコルの回復処理における設計誤りのReal-Time Temporal Logic を用いた検出
• 通信プロトコルの回復処理における設計誤りのReal-Time Temporal Logicを用いた検出(並列・分散)

スポンサーリンク