2002 | ||
---|---|---|
2 | EE | 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: 195-208 |
2000 | ||
1 | 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: 529-534 |
1 | Ingmar Ahrens | [1] |
2 | Werner van Almsick | [1] |
3 | Christian Müller-Schloer | [1] [2] |
4 | Tim Oodes | [2] |
5 | Stefan Scherber | [1] |