Holger Krisp

According to our database, Holger Krisp authored at least 3 papers between 2000 and 2002.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2002

On the Combination of Assertions and Virtual Prototyping for the Design of Safety-Critical Systems.

Tim Oodes, Holger Krisp, Christian Müller-Schloer

Proceedings of the Trends in Network and Pervasive Computing, 2002

2001

Virtual Prototyping of Embedded Systems by High-Level Modeling and Simulation.

Holger Krisp, Christian Müller-Schloer

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2001

2000

Simulation of the Hybrid telecommunications access system HYTAS for testing the network management system KENOS.

Ingmar Ahrens, Holger Krisp, Christian Müller-Schloer, Werner van Almsick, Stefan Scherber

Proceedings of the 14^th European Simulation Multiconference, 2000