Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT
暂无分享,去创建一个
John Håkansson | Paul Pettersson | Jan Carlson | Aurelien Monot | Davor Slutej | P. Pettersson | A. Monot | Davor Slutej | Jan Carlson | John Håkansson
[1] Wang Yi,et al. A Tool Architecture for the Next Generation of Uppaal , 2002, 10th Anniversary Colloquium of UNU/IIST.
[2] John Håkansson,et al. The SAVE approach to component-based development of vehicular systems , 2007, J. Syst. Softw..
[3] Patricia Bouyer,et al. Timed Unfoldings for Networks of Timed Automata , 2006, ATVA.
[4] C. A. Petri,et al. Concurrency Theory , 1986, Advances in Petri Nets.
[5] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[6] Marius Minea,et al. Partial Order Reduction for Model Checking of Timed Automata , 1999, CONCUR.
[7] Bernhard K. Aichernig,et al. Formal Methods at the Crossroads. From Panacea to Foundational Support , 2003, Lecture Notes in Computer Science.
[8] John Håkansson,et al. Partial Order Reduction for Verification of Real-Time Components , 2007, FORMATS.
[9] Robert de Simone,et al. CONCUR'98 Concurrency Theory , 1998, Lecture Notes in Computer Science.
[10] S. Zennou,et al. A partial order semantics approach to the clock explosion problem of timed automata , 2005, Theor. Comput. Sci..
[11] Joseph Sifakis,et al. Composition for component-based modeling , 2002, Sci. Comput. Program..
[12] Wang Yi,et al. Partial Order Reductions for Timed Systems , 1998, CONCUR.
[13] Jos C. M. Baeten,et al. Analyzing a chi model of a turntable system using Spin, CADP and Uppaal , 2005, J. Log. Algebraic Methods Program..
[14] John Håkansson,et al. SaveCCM: An Analysable Component Model for Real-Time Systems , 2006, FACS.
[15] Thomas Chatain,et al. Symbolic Unfoldings for Networks of Timed Automata , 2006, ATVA.
[16] Joseph Sifakis,et al. Composition for component-based modeling , 2005, Sci. Comput. Program..
[17] Alan Bundy,et al. Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.