Haifa Verification Conference HVC 2014
Event name
Haifa Verification Conference HVC 2014
Start date
18-11-2014
End date
20-11-2014
Location
Haifa, Isral
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Grosu, Radu ; Bogomolov, Sergiy ; Frehse, Goran ; Greitschus, Marius ; Pasareanu, Corina ; Podelski, Andreas ; Strump, Thomas | Assume-Guarantee Abstraction-Refinement Meets Hybrid Systems | Konferenzbeitrag Inproceedings | 2014 | |
| 2 | Shoaei, Mohammad Reza ; Kovács, Laura ; Lennartson, Bengt ; Yahav, Eran | Supervisory Control of Discrete-Event Systems via IC3 | Konferenzbeitrag Inproceedings  | 2014 |