Research Field
- Dependable Systems Engineering
Runtime verification for rigorous engineering of cyber-physical systems
- Nickovic, D. (Vortragender, eingeladener Hauptvortrag)
Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop