Research Field
- Dependable Systems Engineering
Requirement-driven verification and debugging with Signal Temporal Logic
- Ezio Bartocci (Author)
- Thomas Ferrère (Author)
- Oded Maler (Author)
- Nickovic, D. (Speaker)
- Niveditha Manjunath (Author)
Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop