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