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

スポンサーリンク

概要

• 同名の論文著者
• 島根大学総合理工学部数理・情報システム学科計算機科学講座の論文著者

関連著者

• 中村 一博

  名古屋大学情報メディア教育センター

• 山根 智

  島根大学総合理工学部数理

• 中村 一博

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

著作論文

• 二分決定グラフによる実時間システムのモデルチェッキング検証

スポンサーリンク