Kusumoto Laboratory
  • リスト
  •  表 
  • LaTeX
  • BibTeX
List of works

国際会議
[1] Takeshi Nagaoka, Akihiko Ito, Toshiaki Tanaka, Kozo Okano, and Shinji 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), pages 33-38, December 2010. [IWESEP12.pdf]
[2] Takeshi Nagaoka, Akihiko Ito, Toshiaki Tanaka, Kozo Okano, and Shinji Kusumoto, "Reachability Analysis of Probabilistic Real-Time Systems Based on Cegar for Timed Automata," In Proceedings of International Workshop on Informatics 2010, pages 18-26, September 2010. [IWIN2010_Number17.pdf]

Search

Tags

この検索内の頻出タグ: timed:2 reachability:2 probabilistic:2 automata:2 analysis:2 technique:1 systems:1 refinement:1 real-time:1 cegar:1 abstraction:1

2 件の該当がありました. : このページのURL : HTML

Search: 簡易 | 詳細 || Language: 英語 | 日本語 || ログイン |

This site is maintained by fenrir.
PMAN 3.2.10 build 20181029 - Paper MANagement system / (C) 2002-2016, Osamu Mizuno
Time to show this page: 0.033925 seconds.