Lehrstuhl

Neuigkeiten
Mitarbeiter
Kontakt
Stellenangebote
Pressespiegel
Impressum
Infocup 2017
Alumni

Forschung

Gruppe Cyber-Physical Mobility
Projekte
Publikationen

Tools

ARCADE
artshop
HyReach
Real-Time Android
SynTACS

Lehre

Abschlussarbeiten
Lehrangebot am i11
Wintersemester 19/20
Sommersemester 19
Wintersemester 18/19
Frühere Semester
Automatisierungstechnik
Kolloquiumstermine

PDF Export
Sie befinden sich hier: Neuigkeiten » Lehre » Abschlussarbeiten » Erweiterung des Model-Checkers [mc]square um benutzerdefinierte Umgebungen

Erweiterung des Model-Checkers [mc]square um benutzerdefinierte Umgebungen

Student

Dr. rer. nat. Dominique Marcel Gückel

Betreuer

Dr.rer.nat. Bastian Schlich


RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland