TY  - BOOK
ED  - Jens Brandt
ED  - Klaus Schneider
TI  - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen: MBMV 2012
PY  - 2012
PB  - Verlag Dr. Kovač
T3  - Forschungsergebnisse zur Informatik
VL  - 68
SN  - 978-3-8300-6201-1
CY  - Hamburg
EP  - 218
KW  - Informatik
KW  - Elektro-/Informationstechnik
KW  - Systementwurf
KW  - Beschreibungssprachen
KW  - Codesgin
KW  - Formale Verifikation
KW  - Simulation
KW  - Formale Modellierung
KW  - Informatik
ER  -