Application of Static Analysis in the Field of Model Checking Software for Embedded Systems

Student

Jann Löll

Betreuer


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