Authors: ; ; Koppelmann, Bastian
Zusammenfassung:
-
Publication Date: 2014/03/23
Location of Publication: 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014), Böblingen, Germany
Keywords: Verification; Microprocessor/Microcontroller
