Deutsch

Boßung, Wolfgang (2001)
Funktionale Spezifikation und Codedesign eingebetteter Systeme.
Technische Universität Darmstadt
Dissertation, Bibliographie

Boßung, Wolfgang ; Huss, Sorin A. ; Stini, M. (2000)
xCDM - ein interaktives Werkzeug zur graphenbasierten Systemmodellierung.
Konferenzveröffentlichung, Bibliographie

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

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

Boßung, Wolfgang ; Deegener, M. ; Huss, Sorin A. (1997)
Intervallbasiertes Scheduling von Prozeßnetzen für HW/SW-Codesign.
Konferenzveröffentlichung, Bibliographie

Englisch

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

Boßung, Wolfgang ; Huss, Sorin A. (2000)
An efficient specification and concept validation of embedded information processing systems.
Konferenzveröffentlichung, Bibliographie

Boßung, Wolfgang ; Huss, Sorin A. ; Klaus, S. (1999)
High-level embedded system specifications based on process activation conditions.
In: Journal of VLSI signal processing, 21 (3)
doi: 10.1023/A:1008191425265
Artikel, Bibliographie

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

Boßung, Wolfgang ; Huss, Sorin A. (1998)
Cyclic process nets as a high-level behavioral specification model for embedded systems synthesis.
Konferenzveröffentlichung, Bibliographie