Browsing by Author Colombo, Christian
Showing results 1 to 1 of 1
| Preview | Authors / Editors | Title | Type | Issue Date |
|---|---|---|---|---|
 | Bartocci, Ezio  ; Falcone, Yliès ; Bonakdarpour, Borzoo ; Colombo, Christian ; Decker, Normann ; Havelund, Klaus ; Joshi, Yogi ; Klaedtke, Felix ; Milewicz, Reed ; Reger, Giles ; Rosu, Grigore ; Signoles, Julien ; Thoma, Daniel ; Zalinescu, Eugen ; Zhang, Yi | First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014 | Article Artikel   | 2017 |