林 将志 | 金沢大学大学院自然科学研究科電子情報工学専攻
スポンサーリンク
概要
関連著者
-
林 将志
金沢大学大学院自然科学研究科電子情報工学専攻
-
山根 智
金沢大学自然科学研究科
-
山根 智
金沢大学自然科学研究科電子情報工学専攻
-
山根 智
金沢大学工学部情報システム工学科
-
山根 智
金沢大学理工研究域電子情報学系
-
山根 智
金沢大学大学院自然科学研究科電子情報工学専攻
-
山根 智
金沢大学大学院自然科学研究科
-
林 将志
金沢大学自然科学研究科電子情報工学専攻
著作論文
- 確率時間ゲーム理論による組込みシステムのモデル化,仕様記述及び検証(ディペンダブルコンピューティング)
- 確率時間ゲーム理論による組込みシステムのモデル化, 仕様記述及び検証 (理論計算機科学の深化と応用)