中村 一博 | 名古屋大学情報メディア教育センター
スポンサーリンク
概要
関連著者
-
中村 一博
名古屋大学情報メディア教育センター
-
中村 一博
島根大学理学部情報科学科
-
山根 智
島根大学理学部情報科学科
-
山根 智
金沢大学自然科学研究科電子情報工学専攻
-
山根 智
島根大学総合理工学部数理
-
中村 一博
名古屋大学
-
高橋 健一
(財)九州システム情報技術研究所
-
山根 智
金沢大学工学部
-
高橋 健一
島根大学理学部情報科学科
-
中村 一博
島根大学総合理工学部数理・情報システム学科計算機科学講座
著作論文
- 実時間システムのための近似手法に基づいた記号モデル検査器の開発と評価
- BDDによるSpeed-Independent回路の形式的検証
- 二分決定グラフによる実時間システムのモデルチェッキング検証
- 二分決定グラフと時間不等式手法に基づく近似解法による実時間シンボリックモデルチェッキング検証
- リージョングラフを用いた時間オートマトンのシンボリックモデルチェッキング検証