Details

Autor(en) / Beteiligte

• Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"
• Biere, Armin[Herausgeber]

Titel

MBMV 2023 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 26. Workshop, 23.-24. März 2023 in Freiburg

Ist Teil von

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

Ort / Verlag

Berlin : VDE VERLAG GMBH

Erscheinungsjahr

[2023]