Modelling and Testing of Real Systems

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-47169-3_9 ◽

2016 ◽

pp. 119-130 ◽

Cited By ~ 3

Author(s):

Andreas Prinz ◽

Birger Møller-Pedersen ◽

Joachim Fischer

Download Full-text