RV 2012: the 3rd International Conference on Runtime Verification
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
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Bartocci, Ezio ; Grosu, Radu ; Karmarkar, Atul ; Smolka, Scott A. ; Stoller, Scott D. ; Seyster, Justin | Adaptive Runtime Verification | Konferenzbeitrag Inproceedings  | 2012 | |
| 2 | Reinbacher, Thomas ; Függer, Matthias ; Brauer, Jörg | Real-Time Runtime Verification on Chip | Konferenzbeitrag Inproceedings | 2012 |