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