加藤 雄一郎 | 大阪大学大学院基礎工学研究科情報数理系専攻

スポンサーリンク

概要

• 加藤 雄一郎の詳細を見る
• 同名の論文著者
• 大阪大学大学院基礎工学研究科情報数理系専攻の論文著者

関連著者

• 岡野 浩三

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

• 谷口 健一

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

• 加藤 雄一郎

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

• 岡野 浩三

  岡山大学大学院自然科学研究科

• 山口 弘純

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

著作論文

• 拡張時間オートマトン群による実時間システムの記述および検証
• 時間制約を持つGUI制御部の仕様記述の一手法

スポンサーリンク