RV 2011: Proc. of the 2nd International Conference on Runtime Verification
Event name
RV 2011: Proc. of the 2nd International Conference on Runtime Verification
Start date
27-09-2011
End date
30-09-2011
Location
San Francisco (CA), USA
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Stoller, Scott D. ; Bartocci, Ezio ; Seyster, Justin ; Grosu, Radu ; Havelund, Klaus ; Smolka, Scott A. ; Zadok, Erez | Runtime Verification with State Estimation | Konferenzbeitrag Inproceedings  | 2012 |