Brandt, Jens
[HerausgeberIn]
;
Technische Universität Kaiserslautern,
Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 15 2012 Kaiserslautern
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
: MBMV 2012 ; [15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen ... im März 2012 an der Technischen Universität Kaiserslautern]
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
Buch;
Konferenzbericht
Titel:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
:
MBMV 2012 ; [15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen ... im März 2012 an der Technischen Universität Kaiserslautern]