Model-Checking von Anweisungslisten-Programmen für Speicherprogrammierbare Steuerung mit Hilfe von [mc]square

Student

Jörg Wernerus

Betreuer


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