Title |
MBMV 2021 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 24. Workshop, 18.-19. März 2021, TU München, Online-Veranstaltung / Tagungsleitung: Dr.-Ing. Daniel Müller-Gritschneder, TU München |
|---|---|
Involved |
MBMV (24., 2021, Online) (Verfasser) |
Published |
Berlin, Offenbach: VDE VERLAG GMBH |
Extent |
1 CD-ROM : Illustrationen |
ISBN |
978-3-8007-5500-4 |
Language |
|
Country |
|
Topic |
|
Subject |
Entwurfsautomation, Systemsynthese, Modellierung, Beschreibungssprache, Verifikation |
DDC notation |
|
Series |
ITG-Fachbericht ; 296 |
Other editions |
Digitale Übertragung: MBMV 2021 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 24. Workshop, 18.-19. März 2021, TU München, Online-Veranstaltung |
Record ID |
1230236554 |
Please note
The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link: