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 Herausgeber
ACM
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Fellner, Andreas ; Krenn, Willibald ; Schlick, Rupert ; Tarrach, Thorsten ; Weissenbacher, Georg | Model-based, mutation-driven test case generation via heuristic-guided branching search | Konferenzbeitrag Inproceedings  | 2017 | |
| 2 | Bartocci, Ezio ; Bortolussi, Luca ; Loreti, Michele ; Nenzi, Laura | Monitoring mobile and spatially distributed cyber-physical systems | Konferenzbeitrag Inproceedings | 2017 |