Details
- Autor(en) / Beteiligte
- Titel
- MBMV 2022 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 25. Workshop, 17.-18. Februar 2022, Hochschule Niederrhein, Online-Veranstaltung
- Ist Teil von
- Ort / Verlag
- Berlin ; Offenbach : VDE VERLAG GMBH
- Erscheinungsjahr
- [2022]
- Sprache
- Deutsch
- Identifikatoren
- ISBN: 9783800757541, 3800757540OCLC-Nummer: 1303702963, 1303702963Titel-ID: 990024958510106463
- Format
- 1 CD-ROM; 12 cm; 1 Blatt
- Systemstelle
- XVI
- Schlagworte
- Entwurfsautomation, Systemsynthese, Modellierung, Beschreibungssprache, Verifikation