Lehrstuhl

Neuigkeiten
Mitarbeiter
Kontakt
Stellenangebote
Pressespiegel
Impressum
Infocup 2017
Alumni

Forschung

Cyber-Physical Mobility Group
Projekte
Publikationen

Tools

ARCADE
artshop
HyReach
Real-Time Android
SynTACS

Lehre

Abschlussarbeiten
Lehrangebot am i11
Wintersemester 20/21
Sommersemester 20
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