Lehrstuhl

Neuigkeiten
Mitarbeiter
Kontakt
Stellen
Pressespiegel
Impressum
Infocup 2017

Forschung

Projekte
Publikationen

Tools

ARCADE
artshop
HyReach
Real-Time Android
SynTACS

Lehre

Abschlussarbeiten
Lehrangebot am i11
Wintersemester 17/18
Sommersemester 17
Vorherige Semester
Automatisierungstechnik
Kolloquiumstermine

Intern

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