1–10 von 21 Ergebnissen
|

    Automated guided vehicle systems. Proceedings of the 5th international conferenc, Tokyo, J, October 6-8, 1987

    Tema Archiv | 1987
    Verlag: Springer , Berlin,Heidelberg,New York,London,Paris,Tokyo

    The fast cost effective design and concurrent certification of the safe computer for a real time train control application

    Mutone, G.A. / Rothfelder, M. | Tema Archiv | 1993
    Verlag: Springer , London, Berlin

    A safety critical computer system in a railway application

    Stamm, B. / Baumann, R. / Kündig-Herzog, M. | Tema Archiv | 1993
    Verlag: Springer , London, Berlin

    A topological model based on railway capacity to manage periodic train scheduling

    Salido, M.A. / Barber, F. / Abril, M. et al. | Tema Archiv | 2005
    Verlag: Springer , London

    WISE expert: An expert system for monitoring ship cargo handling

    Addis, T.R. / Addis, J.J.Townsend / Gillett, R. | Tema Archiv | 2005
    Verlag: Springer , London

    Safety aspects of a landing gear system

    Daniels, Dewi | Tema Archiv | 2006
    Verlag: Springer , London

    Safety case composition using contracts - refinements based on feedback from an industrial case study

    Fenn, Jane / Hawkins, Richard / Kelly, Tim et al. | Tema Archiv | 2007
    Verlag: Springer , London

    Towards a unified approach to safety and security in automotive systems

    Jesty, Peter H. / Ward, David D. | Tema Archiv | 2007
    Verlag: Springer , London

    AMBERS: Improving requirements specification through assertive models and SCADE/ DOORS integration

    Fortes da Cruz, Marcelin / Raistrick, Paul | Tema Archiv | 2007
    Verlag: Springer , London

    Domain dependent distributed models for railway scheduling

    Salido, M.A. / Abril, M. / Barber, F. et al. | Tema Archiv | 2007
    Verlag: Springer , London