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

Student

Jann Löll

Betreuer


RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland