Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verifikationsplan Verarbeitung

Authors: Christoph Kuznik, Universität Paderborn, DE; Wolfgang Mueller, Universität Paderborn, DE; Defo, Bertrand

Zusammenfassung:

-

Publication Date: 2014/03/10

Location of Publication: 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014), Böblingen, Germany

Keyword: Verification