Tim Oodes, Holger Krisp, Christian Müller-Schloer. On the Combination of Assertions and Virtual Prototyping for the Design of Safety-Critical Systems. In Hartmut Schmeck, Theo Ungerer, Lars C. Wolf, editors, Trends in Network and Pervasive Computing - ARCS 2002, International Conference on Architecture of Computing Systems, Karlsruhe, Germany, April 8-12, 2002, Proceedings. Volume 2299 of Lecture Notes in Computer Science, pages 195-208, Springer, 2002. [doi]
Abstract is missing.