GI-ITG-GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und SystemenMatthias MutzÉpuisé4,3Prévenez-moi
Formale Beschreibung und automatisierte Verifikation von sequentiellem Hardwareverhalten auf der Basis von Logik höherer OrdnungMatthias MutzÉpuisé4,3Prévenez-moi
