南 翔太 | 金沢大
スポンサーリンク
概要
関連著者
-
南 翔太
金沢大
-
山根 智
金沢大学理工研究域
-
瀧内 新悟
金沢大学自然科学研究科
-
瀬古口 智
金沢大
-
山根 智
金沢大学自然科学研究科
-
山根 智
金沢大学自然科学研究科電子情報工学専攻
-
山根 智
金沢大学工学部情報システム工学科
-
山根 智
金沢大学理工学域電子情報学系
-
瀧内 新悟
金沢大学大学院自然科学研究科電子情報工学専攻
-
柳瀬 龍
金沢大学
-
高 穎
金沢大学自然科学研究科
-
柳瀬 龍
金沢大学自然科学研究科
-
南 翔太
金沢大学自然科学研究科
著作論文
- CPUと動的再構成可能プロセッサとの協調システムのモデル検査(ペトリネット,離散事象システム,一般)
- Hybrid Automata Theoretic Specification and Verification of CPU-DRP Reconfigurable Systems (アルゴリズムと計算理論の新展開 : RIMS研究集会報告集)