Rolf Drechsler
Informatiker
Geboren:
1969
Hat mitgewirkt an:
-
Ordered Kronecker functional decision diagrams und ihre Anwendung
-
Accurate binary-level symbolic execution of embedded firmware
-
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
-
Aspekte der Technischen Informatik : Festschrift zum 60. Geburtstag von Bernd Becker