TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 4.

Boßung, Wolfgang and Geyer, T. and Wehmeyer, L. and Huss, Sorin A. (2000):
Specification and validation of information processing systems by process encapsulation and symbolic execution.
In: IEEE Computer Society Workshop on VLSI <2000, Orlando, Fla.>: Proceedings. - Los Alamitos: IEEE Computer Soc., 2000, Los Alamitos, IEEE Computer Soc., [Conference or Workshop Item]

Boßung, Wolfgang and Huss, Sorin A. and Klaus, S. and Wehmeyer, L. (1999):
Functional specification of distributed digital image processing systems by process interface descriptions.
In: International Conference on Parallel and Distributed Processing Techniques and Applications <1999, Las Vegas, Nevada>: Proceedings, [Conference or Workshop Item]

Boßung, Wolfgang and Huss, Sorin A. and Klaus, S. and Wehmeyer, L. (1999):
High-Level Spezifikationen für eingebettete Systeme unter Einbeziehung bedingter Prozeßaktivierungen.
In: Entwurf integrierter Schaltungen: 9. EIS Workshop 1999 Darmstadt. Hrsg.: S. Huss. - Berlin: VDE-Verl., 1999, Berlin, VDE-Verl., [Conference or Workshop Item]

Boßung, Wolfgang and Huss, Sorin A. and Wehmeyer, L. (1999):
xpViCE - eine graphische Schnittstelle zur Konfiguration und Laufzeitüberwachung einer parallelen Maschine.
In: ITG/GI-Diskussionsforum Analog'99 <5, 1999, München>: Tagungsbd., [Conference or Workshop Item]

This list was generated on Tue Dec 10 00:44:30 2019 CET.