High-level-Beschreibung und Verifikation komplexer digitaler Systeme | SciPort RLP

Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

High-level-Beschreibung und Verifikation komplexer digitaler Systeme

Laufzeit: 01.01.1997 - 31.12.1999

Partner: Polytechnico Turin, Italien

Förderung durch: Deutscher Akademischer Austauschdienst, DAAD

Kurzfassung

Weiterentwicklung der OBDD-Technologie für die Verifikation komplexer digitaler Systeme

Weiterentwicklung der OBDD-Technologie für die Verifikation komplexer digitaler Systeme

Projektteam

Christoph Meinel
Mitarbeiter/in
(Informatikwissenschaften)

Beteiligte Einrichtungen

Informatikwissenschaften
(Universität Trier)