Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (27. : 2024 : Kaiserslautern)

Art des Eintrags

Konferenz oder Veranstaltung

Bevorzugter Name

Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (27. : 2024 : Kaiserslautern)

Variante Namen

• MBMV 2024 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
• MBMV (27. : 2024 : Kaiserslautern)

mehr...

weniger...

Geographische Zuordnung

• Rheinland-Pfalz

mehr...

weniger...

GND-ID

132370647X

Mehr Informationen

• lobid.org
• Deutsche Nationalbibliothek (DNB)

Daten bereitgestellt von lobid-gnd, ein Dienst des Hochschulbibliothekszentrum des Landes NRW (hbz)