MBMV 2022 Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 25. Workshop, 17.-18. Februar 2022, Hochschule Niederrhein, Online-Veranstaltung

Gespeichert in:

Bibliographische Detailangaben
Körperschaften:	MBMV (VerfasserIn), Informationstechnische Gesellschaft (VeranstalterIn), Gesellschaft Mikroelektronik, Mikrosystem- und Feinwerktechnik (VeranstalterIn), Gesellschaft für Informatik (VeranstalterIn), VDE Verlag (Verlag)
Weitere Verfasser:	Brandt, Jens (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Offenbach VDE VERLAG GMBH 2022
Schriftenreihe:	ITG-Fachbericht 302, CD-ROM
Schlagworte:	Konferenzschrift > Hochschule Niederrhein > CD-ROM > Entwurfsautomation > Systemsynthese > Modellierung > Beschreibungssprache > Verifikation
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Der Workshop wurde aufgrund der Corona-Pandemie online abgehalten
Beschreibung:	1 CD-ROM (72 Seiten) Illustrationen, Diagramme 14 cm x 12.4 cm, 58 g
ISBN:	9783800757541 978-3-8007-5754-1 3800757540 3-8007-5754-0