Checking SysML Models for Co-simulation

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

10.1007/978-3-319-47846-3_28 ◽

2016 ◽

pp. 450-465 ◽

Cited By ~ 4

Author(s):

Nuno Amálio ◽

Richard Payne ◽

Ana Cavalcanti ◽

Jim Woodcock

Download Full-text