RV 2013, the Fourth International Conference on Runtime Verification

Event name
RV 2013, the Fourth International Conference on Runtime Verification
 
Event type
Event for scientific audience
 
Start date
24-09-2013
End date
27-09-2013
 
Location
Rennes
Country
France
 
Event format Veranstaltungsformat
On Site

Publications Publikationen



Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kalajdzic, Kenan ; Bartocci, Ezio ; Stoller, Scott D. ; Smolka, Scott A. ; Grosu, Radu Runtime Verification with Particle FilteringKonferenzbeitrag Inproceedings 2013