Boßung, Wolfgang ; Geyer, T. ; Wehmeyer, L. ; Huss, Sorin A. (2000)
Specification and validation of information processing systems by process encapsulation and symbolic execution.
Conference or Workshop Item, Bibliographie

Boßung, Wolfgang ; Huss, Sorin A. ; Klaus, S. ; Wehmeyer, L. (1999)
Functional specification of distributed digital image processing systems by process interface descriptions.
Conference or Workshop Item, Bibliographie

Boßung, Wolfgang ; Huss, Sorin A. ; Klaus, S. ; Wehmeyer, L. (1999)
High-Level Spezifikationen für eingebettete Systeme unter Einbeziehung bedingter Prozeßaktivierungen.
Conference or Workshop Item, Bibliographie

Boßung, Wolfgang ; Huss, Sorin A. ; Wehmeyer, L. (1999)
xpViCE - eine graphische Schnittstelle zur Konfiguration und Laufzeitüberwachung einer parallelen Maschine.
Conference or Workshop Item, Bibliographie