RV 2012: the 3rd International Conference on Runtime Verification

View Statistics Email Alert RSS Feed

Description

Event name
RV 2012: the 3rd International Conference on Runtime Verification
 
Start date
25-09-2012
End date
28-09-2012
 
Location
Istanbul
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

VorschauAutor_in(nen)TitelDokumenttypErscheinungs­datum
1Bartocci, Ezio ; Grosu, Radu ; Karmarkar, Atul ; Smolka, Scott A. ; Stoller, Scott D. ; Seyster, Justin Adaptive Runtime VerificationKonferenzbeitrag Inproceedings 2012
2Reinbacher, Thomas ; Függer, Matthias ; Brauer, Jörg Real-Time Runtime Verification on ChipKonferenzbeitrag Inproceedings 2012