Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design

Book title Buchtitel
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design
 
Publisher Verlag
ACM
 

Publications Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fellner, Andreas ; Krenn, Willibald ; Schlick, Rupert ; Tarrach, Thorsten ; Weissenbacher, Georg Model-based, mutation-driven test case generation via heuristic-guided branching searchKonferenzbeitrag Inproceedings 2017
2Bartocci, Ezio ; Bortolussi, Luca ; Loreti, Michele ; Nenzi, Laura Monitoring mobile and spatially distributed cyber-physical systemsKonferenzbeitrag Inproceedings 2017