Chair of CS 11

News
Staff
Contact
Jobs
Press Review
Site Notice
Alumni

Research

Medical Technology Group
Cyber-Physical Mobility Group
Projects
Publications

Tools

ARCADE
artshop
HyReach
Real-Time Android
SynTACS

Teaching

BSc/MSc Theses
Courses at i11
Summer Semester 24
Winter Semester 23/24
Summer Semester 23
Previous Semesters
Automation Engineering
Scheduled talks & presentations

PDF Export
You are here: Neuigkeiten » News » Teaching » BSc/MSc 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

This website uses cookies. By using the website, you agree with storing cookies on your computer. If you do not agree please leave the website.More information about cookies

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