Title |
MBMV 2025 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 28. Workshop, 11.-12. März 2025 in Rostock / Tagungsleitung: Prof. Dr.-Ing. habil. Christian Haubelt, Universität Rostock, Dr.-Ing. Florian Grützmacher, Universität Rostock |
|---|---|
Involved |
Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (28., 2025, Rostock) (Verfasser) |
Published |
Berlin, Offenbach: VDE VERLAG GmbH |
Extent |
1 CD-ROM : Illustrationen |
ISBN |
978-3-8007-6515-7 |
Language |
|
Country |
|
Topic |
|
Subject |
Entwurfsautomation, Systemsynthese, Modellierung, Beschreibungssprache, Verifikation |
DDC notation |
|
Series |
ITG-Fachbericht ; 320 |
Record ID |
1361593075 |
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: