Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties
- Benedikt Maderbacher (Vortragende:r)
- , Stefan Schupp
- , Ezio Bartocci
- , Roderick Bloem
- , Dejan Nickovic
- , Bettina Könighofer
Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung