Authors: Markus Becker, Universität Paderborn, DE; Wolfgang Mueller, Universität Paderborn, DE; Koppelmann, Bastian
Abstract:
-
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
