Formale Methoden eingebetteter Systeme: Modellbasierte Analyse
Kontakt
Leitung
Prof. Dr. M. Fränzle
Raum: D119/120 (OFFIS)
Tel.: +49-441-9722 566
Sekretariat
Kathrin Kuper
Raum: D121 (OFFIS)
Tel.: +49-441-9722 501
Fax: +49-441-9722 502
Formale Methoden eingebetteter Systeme: Modellbasierte Analyse
Diese Veranstaltung wird im Wintersemester 2024/2025 angeboten. Die Anmeldung erfolgt über das 
.
Fehler: Zurzeit können keine Details dieser Veranstaltung abgefragt werden.