T. Nagaoka, A. Ito, T. Tanaka, K. Okano, and S. Kusumoto, "Reachability Analysis of Probabilistic Timed Automata Based on an Abstraction Refinement Technique," Proceedings of International Workshop on Empirical Software Engineering in Practice 2010 (IWESEP 2010), pp. 33-38 December 2010.
ID 125
分類 国際会議
タグ abstraction analysis automata probabilistic reachability refinement technique timed
表題 (title) Reachability Analysis of Probabilistic Timed Automata Based on an Abstraction Refinement Technique
表題 (英文)
著者名 (author) Takeshi Nagaoka,Akihiko Ito,Toshiaki Tanaka,Kozo Okano,Shinji Kusumoto
英文著者名 (author) Takeshi Nagaoka,Akihiko Ito,Toshiaki Tanaka,Kozo Okano,Shinji Kusumoto
キー (key) Takeshi Nagaoka,Akihiko Ito,Toshiaki Tanaka,Kozo Okano,Shinji Kusumoto
定期刊行物名 (journal) Proceedings of International Workshop on Empirical Software Engineering in Practice 2010 (IWESEP 2010)
定期刊行物名 (英文)
巻数 (volume)
号数 (number)
ページ範囲 (pages) 33-38
刊行月 (month) 12
出版年 (year) 2010
Impact Factor (JCR)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル IWESEP12.pdf (application/pdf) [一般閲覧可]
BiBTeXエントリ
@article{id125,
         title = {Reachability Analysis of Probabilistic Timed Automata Based on an Abstraction Refinement Technique},
        author = {Takeshi Nagaoka and Akihiko Ito and Toshiaki Tanaka and Kozo Okano and Shinji Kusumoto},
       journal = {Proceedings of International Workshop on Empirical Software Engineering in Practice 2010 (IWESEP 2010)},
         pages = {33-38},
         month = {12},
          year = {2010},
}