Author:
David Alexandre,Larsen Kim G.,Legay Axel,Nyman Ulrik,Wąsowski Andrzej
Publisher
Springer Berlin Heidelberg
Reference37 articles.
1. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)
2. Alur, R., Fix, L., Henzinger, T.A.: Event-clock automata: A determinizable class of timed automata. Theoretical Computer Science 211, 1–13 (1999)
3. Lecture Notes in Computer Science;G. Behrmann,2007
4. Behrmann, G., David, A., Larsen, K.G., Håkansson, J., Pettersson, P., Yi, W., Hendriks, M.: Uppaal 4.0. In: QEST, pp. 125–126. IEEE Computer Society, Los Alamitos (2006)
5. Lecture Notes in Computer Science;J. Berendsen,2008
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Contract-based modeling and verification of timed safety requirements within SysML;Software & Systems Modeling;2015-07-07
2. Playing Games with Timed Automata;Electronic Proceedings in Theoretical Computer Science;2014-10-26
3. Real-time specifications;International Journal on Software Tools for Technology Transfer;2013-08-06
4. An Automatic Technique for Checking the Simulation of Timed Systems;Automated Technology for Verification and Analysis;2013