スポンサーリンク

島根大学総合理工学部数理・情報システム学科計算機科学講座 | 論文

• 二分決定グラフによる実時間システムのモデルチェッキング検証
• 実時間制約を考慮した開放型分散システムの形式化と階層的な設計手法

スポンサーリンク