徳田 康平 | 大阪大学大学院基礎工学研究科
スポンサーリンク
概要
関連著者
-
樋口 昌宏
大阪大学大学院基礎工学研究科
-
樋口 昌宏
近畿大学理工学部
-
森 亮憲
大阪大学大学院基礎工学研究科
-
徳田 康平
大阪大学大学院基礎工学研究科
-
谷口 健一
大阪大学 基礎工学部
-
谷口 健一
大阪大学大学院情報科学研究科
-
樋口 昌宏
近畿大学 理工学部 情報学科
-
徳田 康平
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
森 亮憲
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
東野 輝夫
大阪大学大学院情報科学研究科
-
東野 輝夫
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest
-
多田 知正
大阪大学大学院基礎工学研究科
-
谷口 健一
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
東野 輝夫
大阪大学大学院情報学研究科
著作論文
- タイマを用いる有限状態機械でモデル化されたシステムの検証手続き
- タイマシステムコールを用いるDFSMプロトコルに対する試験系列生成手法(マルチメディアコミュニケーションシステム)
- タイマを用いる有限状態機械でモデル化されたシステムの検証手続き