Kompositionale Softwareverifikation mechatronischer Systeme / von Daniela Schilling. 2006
Inhalt