山崎 真一 | 金沢大学大学院自然科学研究科電子情報工学専攻
スポンサーリンク
概要
関連著者
-
山根 智
金沢大学大学院自然科学研究科電子情報工学専攻
-
山崎 真一
金沢大学大学院自然科学研究科電子情報工学専攻
-
安井 雅俊
金沢大学大学院自然科学研究科
-
山根 智
金沢大学自然科学研究科電子情報工学専攻
-
山根 智
金沢大学大学院自然科学研究科
-
山根 智
金沢大学工学部情報システム工学科
-
山根 智
金沢大学理工研究域電子情報学系
-
山根 智
金沢大学自然科学研究科
著作論文
- 並列動作する確率時間システムに対する拡張CEGAR(モデル化・仕様記述)
- 階層時間オートマトン群の並列動作の述語抽象化精錬検証手法(グラフ,ペトリネット,ニューラルネット,及び一般)
- 階層時間オートマトン群の並列動作の述語抽象化精錬検証手法(グラフ,ペトリネット,ニューラルネット,及び一般)