17th International Conference on Software Engineering and Formal Methods
Event name
17th International Conference on Software Engineering and Formal Methods
Start date
18-09-2019
End date
20-09-2019
Location
Oslo, Norway
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Bartocci, Ezio ; Manjunath, Niveditha ; Mariani, Leonardo ; Mateis, Cristinel ; Nickovic, Dejan | Automatic Failure Explanation in CPS Models | Konferenzbeitrag Inproceedings | 2019 | |
| 2 | Fellner, Andreas ; Befrouei, Mitra Tabaei ; Weissenbacher, Georg | Mutation Testing with Hyperproperties | Konferenzbeitrag Inproceedings  | 2019 |