谷本 匡亮 | 株式会社日立製作所半導体グループ
スポンサーリンク
概要
関連著者
-
東野 輝夫
大阪大学大学院情報科学研究科
-
谷本 匡亮
大阪大学大学院情報科学研究科
-
中田 明夫
大阪大学大学院情報科学研究科
-
東野 輝夫
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest
-
北口 智
大阪大学大学院情報科学研究科:(現在)松下電器産業株式会社
-
谷本 匡亮
株式会社日立製作所半導体グループ
-
東野 輝夫
大阪大学大学院情報学研究科
著作論文
- 実時間制約を有する単一バスシステムのJavaによるモデル化およびパラメトリックモデルチェッキングを用いた設計手法の提案
- 実時間制約を有する単一バスシステムのJavaによるモデル化およびパラメトリックモデルチェッキングを用いた設計手法の提案