Research Field
- Dependable Systems Engineering
From MITL to Timed Automata
- Thomas Ferrère (Autor, eingeladener Hauptvortrag)
- Oded Maler (Autor, eingeladener Hauptvortrag)
- Nickovic, D. (Vortragender, eingeladener Hauptvortrag)
- Amir Pnueli (Autor, eingeladener Hauptvortrag)
Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop