Modell-basierte Verifikation von vernetzten mechatronischen Systemen / Martin Hirsch. 2008
Inhalt