Author:
David Alexandre,Håkansson John,Larsen Kim G.,Pettersson Paul
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Abdeddaïm, Y., Asarin, E., Maler, O.: Scheduling with timed automata. Theoretical Computer Science 354(2), 272–300 (2006)
2. Lecture Notes in Computer Science;R. Alur,1990
3. Barnes, J.G.P.: Programming in Ada, Plus and Overview of Ada 9X. Addison-Wesley, Reading (1994)
4. Bengtsson, J., Griffioen, W.O.D., Kristoffersen, K.J., Larsen, K.G., Larsson, F., Pettersson, P., Yi, W.: Automated analysis of an audio control protocol using UPPAAL. Journal of Logic and Algebraic Programming 52–53, 163–181 (2002)
5. Lecture Notes in Computer Science;J. Bengtsson,2004
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Analysis of Proactive, Distributed Routing;Software Engineering and Formal Methods;2015
2. Fairness for Infinite-State Systems;Tools and Algorithms for the Construction and Analysis of Systems;2015
3. Tools for Model-Checking Timed Systems;Communicating Embedded Systems;2013-02-13
4. Modeling and analysis of adaptive embedded systems using adaptive task automata;ACM SIGBED Review;2013-02
5. Checking Correctness of Services Modeled as Priced Timed Automata;Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies;2012