荒井 恒夫 | 金沢大学大学院自然科学研究科
スポンサーリンク
概要
関連著者
-
荒井 恒夫
金沢大学大学院自然科学研究科
-
山根 智
金沢大学大学院自然科学研究科
-
山根 智
金沢大学大学院自然科学研究科電子情報工学専攻
-
山根 智
金沢大学自然科学研究科電子情報工学専攻
-
山根 智
金沢大学自然科学研究科
-
山根 智
金沢大学工学部情報システム工学科
-
小寺 広志
金沢大学大学院自然科学研究科
著作論文
- 確率時間インターフェース理論による組込み型システムの設計手法(グラフ, ペトリ, ニューラルネット及び一般)
- 確率時間インターフェース理論による組込み型システムの設計手法(グラフ, ペトリ, ニューラルネット及び一般)
- 確率時間オートマトンの確率時間強模倣検証器の開発(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)