山根 智 | 島根大学総合理工学部数理
スポンサーリンク
概要
関連著者
-
山根 智
島根大学総合理工学部数理
-
中村 一博
名古屋大学情報メディア教育センター
-
林 友和
島根大学総合理工学部数理 : 情報システム学科計算機科学講座
-
中村 一博
島根大学総合理工学部数理・情報システム学科計算機科学講座
-
舘 宣伸
島根大学総合理工学部数理・情報システム学科計算機科学講座
-
蒋 海雲
南京通信研究所(中華人民共和国)
著作論文
- CTL論理式と時間オートマトンに関する実時間記号モデル検査方式の提案
- 二分決定グラフによる実時間システムのモデルチェッキング検証
- 実時間制約を考慮した開放型分散システムの形式化と階層的な設計手法
- オートマトン理論に基づくリアルタイムソフトウェアの検証システム