柳瀬 龍 | 金沢大学
スポンサーリンク
概要
関連著者
-
柳瀬 龍
金沢大学
-
山根 智
金沢大学大学院自然科学研究科
-
酒井 誠
金沢大学大学院 自然科学研究科
-
酒井 誠
金沢大学大学院自然科学研究科
-
山根 智
金沢大学理工研究域
-
酒井 辰典
金沢大学大学院自然科学研究科
-
山根 智
金沢大学理工学域電子情報学系
-
酒井 辰典
金沢大学
-
山根 智
金沢大学
-
柳瀬 龍
金沢大学大学院自然科学研究科
-
南 翔太
金沢大
-
小野 祐貴
金沢大
-
高 穎
金沢大学自然科学研究科
-
柳瀬 龍
金沢大学自然科学研究科
-
南 翔太
金沢大学自然科学研究科
-
冨坂 征平
金沢大学大学院自然科学研究科
-
小野 祐貴
金沢大学大学院自然科学研究科
著作論文
- DLHAによるCPUとDRPの協調動作の組込みシステムのシステム仕様記述
- DLHAによるCPUとDRPの協調動作の組込みシステムのシステム仕様記述
- Hybrid Automata Theoretic Specification and Verification of CPU-DRP Reconfigurable Systems (アルゴリズムと計算理論の新展開 : RIMS研究集会報告集)
- 動的ハイブリッドCEGAR検証器の開発 (理論計算機科学の新展開)
- 組込みシステムを対象とした線形ハイブリッドオートマトンのモデル検査器の開発と検証