Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS
Event name
Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS
Start date
06-04-2019
End date
11-04-2019
Location
Prague, Czech Republic
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Bartocci, Ezio ; Falcone, Yliès ; Reger, Giles | International Competition on Runtime Verification (CRV) | Konferenzbeitrag Inproceedings | 2019 | |
| 2 | Bartocci, Ezio ; Beyer, Dirk ; Black, Paul | TOOLympics 2019: An Overview of Competitions in Formal Methods | Konferenzbeitrag Inproceedings | 2019 |