CAV 2017: the 29th International Conference on Computer-Aided Verification
Event name
CAV 2017: the 29th International Conference on Computer-Aided Verification
Start date
24-07-2017
End date
28-07-2017
Location
Heidelberg, Germany
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Cyranka, Jacek ; Islam, Md. Ariful ; Byrne, Greg ; Jones, Paul ; Smolka, Scott A. ; Grosu, Radu | Lagrangian Reachabililty | Konferenzbeitrag Inproceedings  | 2017 | |
| 2 | Selyunin, Konstantin ; Jaksic, Stefan ; Nguyen, Thang ; Reidl, Christian ; Hafner, Udo ; Bartocci, Ezio ; Nickovic, Dejan ; Grosu, Radu | Runtime Monitoring with Recovery of the SENT Communication Protocol | Konferenzbeitrag Inproceedings | 2017 |