T. Nagaoka, A. Ito, T. Tanaka, K. Okano, and S. Kusumoto, "Reachability Analysis of Probabilistic Real-Time Systems Based on Cegar for Timed Automata," In Proceedings of International Workshop on Informatics 2010, pp. 18-26 September 2010.
ID 124
分類 国際会議
タグ analysis automata cegar probabilistic reachability real-time systems timed
表題 (title) Reachability Analysis of Probabilistic Real-Time Systems Based on Cegar for Timed Automata
表題 (英文)
著者名 (author) Takeshi Nagaoka,Akihiko Ito,Toshiaki Tanaka,Kozo Okano,Shinji Kusumoto
英文著者名 (author) Takeshi Nagaoka,Akihiko Ito,Toshiaki Tanaka,Kozo Okano,Shinji Kusumoto
編者名 (editor)
編者名 (英文)
キー (key) Takeshi Nagaoka,Akihiko Ito,Toshiaki Tanaka,Kozo Okano,Shinji Kusumoto
書籍・会議録表題 (booktitle) Proceedings of International Workshop on Informatics 2010
書籍・会議録表題(英文)
巻数 (volume)
号数 (number)
ページ範囲 (pages) 18-26
組織名 (organization)
出版元 (publisher)
出版元 (英文)
出版社住所 (address)
刊行月 (month) 9
出版年 (year) 2010
採択率 (acceptance)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル IWIN2010_Number17.pdf (application/pdf) [一般閲覧可]
BiBTeXエントリ
@inproceedings{id124,
         title = {Reachability Analysis of Probabilistic Real-Time Systems Based on CEGAR for Timed Automata},
        author = {Takeshi Nagaoka and Akihiko Ito and Toshiaki Tanaka and Kozo Okano and Shinji Kusumoto},
     booktitle = {Proceedings of International Workshop on Informatics 2010},
         pages = {18-26},
         month = {9},
          year = {2010},
}