Kropf, Thomas, 1961-....
Kropf, Thomas
Kropf, T.
Thomas Kropf německý počítačový odborník, práce z oboru
VIAF ID: 20533452 (Personal)
Permalink: http://viaf.org/viaf/20533452
Preferred Forms
- 100 1 _ ‡a Kropf, T.
-
- 100 1 _ ‡a Kropf, Thomas
-
-
-
- 100 1 _ ‡a Kropf, Thomas ‡d 1961-
-
-
-
- 100 1 0 ‡a Kropf, Thomas, ‡d 1961-
- 100 1 _ ‡a Kropf, Thomas, ‡d 1961-....
- 100 0 _ ‡a Thomas Kropf ‡c německý počítačový odborník, práce z oboru
Works
Title | Sources |
---|---|
common approach to test generation and hardware verification based on temporal logic | |
Correct hardware design and verification methods : 10th IFIP WG10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings | |
einheitlicher Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik | |
Formal hardware verification : methods and systems in comparison | |
GI/ITG-Workshop Formale Methoden zum Entwurf Korrekter Systeme 21. - 23. März 1993, Bad Herrenalb | |
Hardware-Verifikation Verfahren und Werkzeuge zum Entwurf korrekter Schaltungen und Systeme | |
Kommunikative Funktionen des Dialekts um Unterricht : Theorie und Praxis in der deutschen Schweiz | |
Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings | |
Using BDD-based decomposition for automatic error correction of combinatorial circuits | |
Verification of a GF(2m̂) multiplier circuit for digital signal processing | |
VLSI-Entwurf Vorgehen, Methoden, Automatisierung |