Research Field
- Dependable Systems Engineering
From Real-Time Logic to Timed Automata
- Nickovic, D. (Vortragender, eingeladener Hauptvortrag)
Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop