1–11 von 11 Ergebnissen
|

    Experimental validation of train control systems by using a railway model

    Einer, S. / Schrom, H. / Slovak, R. et al. | British Library Conference Proceedings | 2002

    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

    Satellite based train control

    Schnieder, E. / Bikker, G. / Schroeder, 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

    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

    Impact of advanced system engineering to the design of modern railway operations control systems

    Schnieder, E. / Janhsen, A. / Jopke, K. et al. | British Library Conference Proceedings | 1994

    New display-designs for visualisation of Maglev-transit-operations

    Muller, J. O. / Schnieder, E. / Wessex Institute of Technology | British Library Conference Proceedings | 1994

    Automated dispatching of train operations using genetic algorithms

    Wegele, S. / Schnieder, E. | British Library Conference Proceedings | 2004

    A heuristic approach to railway track maintenance scheduling

    Quiroga, L.M. / Schnieder, E. | British Library Conference Proceedings | 2010