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.
Los Alamitos, IEEE Computer Soc., In: IEEE Computer Society Workshop on VLSI <2000, Orlando, Fla.>: Proceedings. - Los Alamitos: IEEE Computer Soc., 2000, [Conference or Workshop Item]