This translation is older than the original page and might be outdated. See what has changed.
You are here: Neuigkeiten » News » Teaching » BSc/MSc Theses » An Approach for Model Checking Embedded Systems Software
This translation is older than the original page and might be outdated. See what has changed.
Table of Contents
An Approach for Model Checking Embedded Systems Software
Student
Michael Rohrbach
Tutor
RWTH Aachen University - Chair of Computer Science 11 - Ahornstr. 55 - 52074 Aachen - Germany