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

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Grosu, Radu ; Bogomolov, Sergiy ; Frehse, Goran ; Greitschus, Marius ; Pasareanu, Corina ; Podelski, Andreas ; Strump, Thomas Assume-Guarantee Abstraction-Refinement Meets Hybrid SystemsKonferenzbeitrag Inproceedings2014
2Shoaei, Mohammad Reza ; Kovács, Laura ; Lennartson, Bengt Supervisory Control of Discrete-Event Systems via IC3Konferenzbeitrag Inproceedings 2014