Publikation

Verbesserung der Fehlersuche in inkonsistenten formalen Modellen

Nils Przigoda, Robert Wille, Rolf Drechsler

In: 18. ITG/GMM/GI-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'15). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-18) March 3-4 Chemnitz Germany 3/2015.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence