Hat mitgewirkt an:
-
Formale Verifikation digitaler Systeme mit Petrinetzen
-
Formale Verifikation digitaler Systeme mit Petrinetzen
-
Untersuchung der Hough-Transformation als Beispiel eines globalen Algorithmus zur Mustererkennung im HERA-B Spurkammersystem
-
Formale Verifikation sequentieller Kontrollpfade mit Petrinetzen : [Bericht]