山根 智 | 島根大学理学部情報科学科

スポンサーリンク

概要

• 同名の論文著者
• 島根大学理学部情報科学科の論文著者

関連著者

• 山根 智

  島根大学理学部情報科学科

• 中村 一博

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

• 中村 一博

  島根大学理学部情報科学科

• 翁 崇恩

  島根大学理学部情報科学科

• 高橋 健一

  (財)九州システム情報技術研究所

• 高橋 健一

  島根大学理学部情報科学科

• 館 宜伸

  北陸先端科学技術大学院大学 情報科学研究科

• 館 宜伸

  島根大学理学部情報科学科計算機科学講座

• 川平 靖博

  島根大学理学部情報科学

• 将 海雲

  元南京通信研究所

• 深江 智博

  島根大学理学部情報科計算機科学講座

• 梅原 伸年

  島根大学理学部情報科学科

もっと見る 閉じる

著作論文

• 無限列時間付きステートチャートによる並行システムの仕様記述と検証の手法
• BDDによるSpeed-Independent回路の形式的検証
• ハードリアルタイムシステムの実時間記号モデル検査
• 実時間分散ソフトウェアの可能性と公平性の検証
• 拡張リアルタイム時相論理による分散ソフトウェアの形式的検証
• 分散ソフトウェアのタイミング検証
• 対称性に基づく並行システムの記号モデル検査
• 二分決定グラフと時間不等式手法に基づく近似解法による実時間シンボリックモデルチェッキング検証
• リージョングラフを用いた時間オートマトンのシンボリックモデルチェッキング検証

スポンサーリンク