Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. Kwiatkowska, M., et al.: Symbolic model checking for probabilistic timed automata. Information and Computation 205(7), 1027–1077 (2007)
2. Li, S., et al.: Scenario-based verification of real-time systems using UPPAAL. Formal Methods in System Design 37(2-3), 200–264 (2010)
3. Lecture Notes in Computer Science;R. Alur,1992
4. Chen, T., et al.: Model checking of continuous-time markov chains against timed automata specifications. Logical Methods in Computer Science 7(1:12), 1–34 (2011)
5. Larsen, K.G., et al.: UPPAAL in a nutshell. Int. Journal on Software Tools for Technology Transfer 1(1-2), 134–152 (1997)