Table of Contents
An Approach for Model Checking Embedded Systems Software
Student
Tutor
An Approach for Model Checking Embedded Systems Software
Student
Michael Rohrbach
Tutor
Dr.rer.nat. Bastian Schlich