Diplomarbeit

Automatische Verifikation von Statecharts durch Anbindung eines Model Checkers an einen Theorembeweiser

Wintersemester 2020/21 am Fachgebiet ...

Zukunftsdialog THE FUTURE - „Die Pandemie als ...

Chairman of the Board of Directors at Renault, ...

25. - 28.09.2018 - Windindustrie

11. bis 15. Juni 2018 in Hannover

14. bis 18. Mai 2018 in München - Weltleitmesse für Wasser-, Abwasser-, Abfall- und...

25 - 29 April 2018 - Internationale Fachmesse für Luft- und Raumfahrt