Lehrstuhl

Neuigkeiten
Mitarbeiter
Kontakt
Stellenangebote
Pressespiegel
Impressum
Alumni

Forschung

Medizintechnik Gruppe
Cyber-Physical Mobility Group
Projekte
Publikationen

Tools

ARCADE
artshop
HyReach
Real-Time Android
SynTACS

Lehre

Abschlussarbeiten
Lehrangebot am i11
Sommersemester 24
Wintersemester 23/24
Sommersemester 23
Frühere Semester
Automatisierungstechnik
Kolloquiumstermine

PDF Export
Sie befinden sich hier: Neuigkeiten » Lehre » Abschlussarbeiten » Erweiterung der symbolischen Zustandsdarstellung in [mc]square

Erweiterung der symbolischen Zustandsdarstellung in [mc]square

Student

Dipl.-Inform. Volker Kamin

Betreuer

Dr.rer.nat. Bastian Schlich


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