1–5 von 5 Ergebnissen
|

    Test case generation from formal specifications on the example of train control systems

    zu Horste, M. M. / Schnieder, E. / Schulz, H.-M. et al. | British Library Conference Proceedings | 2000

    Discrete-event simulation of railway systems with hybrid models

    Decknatel, G. / Schnieder, E. / Wessex Institute of Technology | British Library Conference Proceedings | 2000

    Satellite based train control

    Schnieder, E. / Bikker, G. / Schroeder, M. et al. | British Library Conference Proceedings | 2000

    SATNAB - validation of a satellite based ground navigation system

    Illgen, I. / Bikker, G. / Schnieder, E. et al. | British Library Conference Proceedings | 2000

    Distributed multi-train simulation using real components

    Horste, M. M. z. / Weber, I. / Illgen, I. et al. | British Library Conference Proceedings | 2000