Research Field
- Dependable Systems Engineering
Localizing and Explaining Faults with STL
- Ezio Bartocci (Autor)
- Thomas Ferrère (Autor)
- Oded Maler (Autor)
- Nickovic, D. (Vortragender)
- Niveditha Manjunath (Autor)
Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop