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

スポンサーリンク

概要

• 舘 宜伸の詳細を見る
• 同名の論文著者
• 島根大学総合理工学部数理・情報システム学科計算機科学講座の論文著者

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

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

もっと見る

スポンサーリンク