selected publications
-
chapter
- TarTar: A Timed Automata Repair Tool. Springer eBooks. 529-540. 2020
- Automated Functional Safety Analysis of Automated Driving Systems. Lecture Notes in Computer Science. 2018
Close
Kölbl, Martin
Positions
Publications
Contact
full name
- Martin Kölbl
Publications in VIVO
Co-author Network
Map of Science