Research Field
- Dependable Systems Engineering
191.118 Runtime Verification
- Ezio Bartocci (Vortragender)
- Nickovic, D. (Vortragender)
Aktivität: Vortrag ohne Tagungsband / Vorlesung › Vorlesung
Aktivität: Vortrag ohne Tagungsband / Vorlesung › Vorlesung