TU Darmstadt / ULB / TUbiblio

Specification and validation of information processing systems by process encapsulation and symbolic execution

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]

Item Type: Conference or Workshop Item
Erschienen: 2000
Creators: Boßung, Wolfgang and Geyer, T. and Wehmeyer, L. and Huss, Sorin A.
Title: Specification and validation of information processing systems by process encapsulation and symbolic execution
Language: English
Series Name: IEEE Computer Society Workshop on VLSI <2000, Orlando, Fla.>: Proceedings. - Los Alamitos: IEEE Computer Soc., 2000
Place of Publication: Los Alamitos
Publisher: IEEE Computer Soc.
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Integrated Circuits and Systems
Date Deposited: 19 Nov 2008 16:25
License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item