MEMOCODE 2017: the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design
Event name
MEMOCODE 2017: the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design
Start date
29-09-2017
End date
02-10-2017
Location
Vienna, Austria
Country
Event format Veranstaltungsformat
On Site
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 |