Holger Krisp

Publication Activity (10 Years)

Years Active: 2000-2002
Publications (10 Years): 0

Publications

Tim Oodes, Holger Krisp, Christian Müller-Schloer
On the Combination of Assertions and Virtual Prototyping for the Design of Safety-Critical Systems. ARCS (2002)
Holger Krisp, Christian Müller-Schloer
Virtual Prototyping of Embedded Systems by High-Level Modeling and Simulation. MBMV (2) (2001)
Ingmar Ahrens, Holger Krisp, Christian Müller-Schloer, Werner van Almsick, Stefan Scherber
Simulation of the Hybrid telecommunications access system HYTAS for testing the network management system KENOS. ESM (2000)