Details

Autor(en) / Beteiligte

• MBMV
• Kunz, Wolfgang[Herausgeber]

Titel

MBMV 2024 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 27. Workshop, 14.-15. Februar 2024 in Kaiserslautern

Ist Teil von

• ITG-Fachbericht : 314 (Alle Bände)

Ort / Verlag

Berlin : VDE VERLAG GMBH

Erscheinungsjahr

[2024]