Inhaltsverzeichnis

Einsatz von statischen Analysen im Bereich des Model-Checking von Software für eingebettete Systeme

Student

Jann Löll

Betreuer

Dr.rer.nat. Bastian Schlich