述語抽象化とその洗練による確率時間オートマトンの到達可能性解析手法

書誌事項

タイトル別名
  • ジュツゴ チュウショウカ ト ソノ センレン ニ ヨル カクリツ ジカン オートマトン ノ トウタツ カノウセイ カイセキ シュホウ
  • Reachability analysis of probabilistic timed automaton based on predicate abstraction and its refinement
  • コンカレント工学
  • コンカレント コウガク

この論文をさがす

収録刊行物

被引用文献 (1)*注記

もっと見る

参考文献 (16)*注記

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ