Research Field
- Nicht definiert
AMT 2.0 - Monitoring Tool for Extended STL Specifications
- Olivier Lebeltel (Autor)
- Oded Maler (Autor)
- Nickovic, D. (Vortragender)
Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop