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 21/22
Sommersemester 21
Wintersemester 20/21
Frühere Semester
Automatisierungstechnik
Kolloquiumstermine

PDF Export
Sie befinden sich hier: Neuigkeiten » Lehre » Abschlussarbeiten » Erweiterung des Model-Checkers [mc]square für den Infineon XC167 Mikrocontroller

Erweiterung des Model-Checkers [mc]square für den Infineon XC167 Mikrocontroller

Student

Florian Scheuer

Betreuer

Dr.rer.nat. Bastian Schlich

Diese Website verwendet Cookies. Durch die Nutzung der Website stimmen Sie dem Speichern von Cookies auf Ihrem Computer zu. Wenn Sie nicht einverstanden sind, verlassen Sie bitte die Website.Weitere Information

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