Author:
Perathoner Simon,Wandeler Ernesto,Thiele Lothar,Hamann Arne,Schliecker Simon,Henia Rafik,Racu Razvan,Ernst Rolf,González Harbour Michael
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Software
Reference23 articles.
1. Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183–235
2. Behrmann G, David A, Larsen KG, Håkansson J, Pettersson P, Yi W, Hendriks M (2006) UPPAAL 4.0. In: Proc of the 3rd int conference on the quantitative evaluation of systems. IEEE Computer Society, Los Alamitos, pp 125–126
3. Chakraborty S, Künzli S, Thiele L (2003) A general framework for analysing system properties in platform-based embedded system designs. In: Proc of 6th design, automation and test in Europe, pp 190–195
4. González Harbour M, Gutiérrez García JJ, Palencia Gutiérrez JC, Drake Moyano JM (2001) MAST: Modeling and analysis suite for real time applications. In: Proc of 13th Euromicro conference on real-time systems. IEEE Computer Society, Los Alamitos, pp 125–134
5. Hendriks M, Verhoef M (2006) Timed automata based analysis of embedded system architectures. In: Workshop on parallel and distributed real-time systems
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献