Research Field
- Dependable Systems Engineering
From MITL to Timed Automata
- Thomas Ferrère (Author)
- Oded Maler (Author)
- Nickovic, D. (Speaker)
- Amir Pnueli (Author)
Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop