Details
- Autor(en) / Beteiligte
- Titel
- Modell-basierte Verifikation von vernetzten mechatronischen Systemen
- Erscheinungsjahr
- 2008
- Link zu anderen Inhalten
- Verknüpfte Titel
- Beschreibungen/Notizen
- Paderborn, Univ., Diss., 2008
- Sprache
- Deutsch
- Identifikatoren
- OCLC-Nummer: 1106703060, 1106703060Titel-ID: 990010063930106463
- Format
- X, 189 S. : graph. Darst.