Verifying MARTE/CCSL Mode Behaviors Using UPPAAL

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40561-7_1 ◽

2013 ◽

pp. 1-15 ◽

Cited By ~ 18

Author(s):

Jagadish Suryadevara ◽

Cristina Seceleanu ◽

Frédéric Mallet ◽

Paul Pettersson

Download Full-text