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