Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung - Kuznik, Christoph; Defo, Bertrand Gilles; Müller, Wolfgang (17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014), 2014)
Keywords: conference paper