Dejan Nickovic - Aktivitäten - Austrian Institute of Technology

33 Präsentation auf einer wissenschaftlichen Konferenz / Workshop
4 Teilnahme an Konferenzkomitees
3 Redaktionelle Tätigkeiten für Zeitschriften
3 Vorlesung
Mehr
- 1 Eingeladener Vortrag bei Industrie oder öffentlicher Einrichtung

1 Ergebnisse
- Titel
- Startdatum(aufsteigend)

Filter

Analysis of CPS simulation models driven by formal specifications
Nickovic, D. (Vortragender)
22 Jan. 2024
Aktivität: Vortrag ohne Tagungsband / Vorlesung › Eingeladener Vortrag bei Industrie oder öffentlicher Einrichtung