安井 雅俊 | 金沢大学大学院自然科学研究科

スポンサーリンク

概要

• 安井 雅俊の詳細を見る
• 同名の論文著者
• 金沢大学大学院自然科学研究科の論文著者

関連著者

• 山根 智

  金沢大学大学院自然科学研究科電子情報工学専攻

• 安井 雅俊

  金沢大学大学院自然科学研究科

• 山根 智

  金沢大学自然科学研究科電子情報工学専攻

• 山根 智

  金沢大学大学院自然科学研究科

• 山根 智

  金沢大学工学部情報システム工学科

• 山崎 真一

  金沢大学大学院自然科学研究科電子情報工学専攻

• 山根 智

  金沢大学理工研究域電子情報学系

• 山根 智

  金沢大学自然科学研究科

• 安井 雅俊

  金沢大学自然科学研究科

著作論文

• コスト付き確率時間オートマトンの抽象化精錬を用いた到達可能性解析手法 (アルゴリズムと計算機科学の数理的基盤とその応用)
• 並列動作する確率時間システムに対する拡張CEGAR(モデル化・仕様記述)
• 階層時間オートマトン群の並列動作の述語抽象化精錬検証手法(グラフ,ペトリネット,ニューラルネット,及び一般)
• 階層時間オートマトン群の並列動作の述語抽象化精錬検証手法(グラフ,ペトリネット,ニューラルネット,及び一般)

スポンサーリンク