Chair of CS 11

News
Staff
Contact
Jobs
Press Review
Site Notice
Alumni

Research

Cyber-Physical Mobility Group
Projects
Publications

Tools

ARCADE
artshop
Real-Time Android
HyReach

Teaching

BSc/MSc/Diploma Theses
Courses at i11
Sommersemester 20
Wintersemester 19/20
Sommersemester 19
Wintersemester 18/19
Sommersemester 18
Wintersemester 17/18
Previous Semesters
Automation Engineering
Scheduled talks & presentations

Events

SE'13 (Aachen)
Past Events

PDF Export
You are here: Neuigkeiten » News » Teaching » BSc/MSc/Diploma Theses » Extending the Model Checker [mc]square to Handle the Infineon XC167 Microcontroller

Extending the Model Checker [mc]square to Handle the Infineon XC167 Microcontroller

Student

Florian Scheuer

Betreuer

Dr.rer.nat. Bastian Schlich


RWTH Aachen University - Chair of Computer Science 11 - Ahornstr. 55 - 52074 Aachen - Germany