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

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