ISBN:
9783800749454
,
3800749459
Language:
German
Pages:
1 CD-ROM
,
56 g
Parallel Title:
Erscheint auch als MBMV (22. : 2019 : Kaiserslautern) MBMV 2019
DDC:
621.395
Keywords:
Konferenzschrift 2019
;
CD-ROM
;
Entwurfsautomation
;
Systemsynthese
;
Modellierung
;
Beschreibungssprache
;
Verifikation
Permalink