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

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

PreviewAuthor(s)TitleTypeIssue Date
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