CAV 2017: the 29th International Conference on Computer-Aided Verification

View Statistics Email Alert RSS Feed

Description

Event name
CAV 2017: the 29th International Conference on Computer-Aided Verification
 
Event type
Event for scientific audience
 
Start date
24-07-2017
End date
28-07-2017
 
Location
Heidelberg
Country
Germany
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Treffer 1-2 von 2 (Suchzeit: 0.002 Sekunden).

VorschauAutor_in(nen)TitelDokumenttypErscheinungs­datum
1Cyranka, Jacek ; Islam, Md. Ariful ; Byrne, Greg ; Jones, Paul ; Smolka, Scott A. ; Grosu, Radu Lagrangian ReachabililtyKonferenzbeitrag Inproceedings 2017
2Selyunin, Konstantin ; Jaksic, Stefan ; Nguyen, Thang ; Reidl, Christian ; Hafner, Udo ; Bartocci, Ezio ; Nickovic, Dejan ; Grosu, Radu Runtime Monitoring with Recovery of the SENT Communication ProtocolKonferenzbeitrag Inproceedings 2017