Modell-Basierte Verifikation Von Vernetzten Mechatronischen Systemen

by Martin Hirsch