21–26 von 26 Ergebnissen
|

    Software development under Def Stan 00-55: a guide

    Ould, M.A. | Tema Archiv | 1990
    Schlagwörter: SAFETY CRITICAL SOFTWARE

    Achieving high integrity at low cost: a constructive approach

    Sutton, J.M. / Carre, B.A. | Tema Archiv | 1997
    Schlagwörter: safety-critical software

    Design by contract: the lessons of Ariane

    Jazequel, J.M. / Meyer, B. | Tema Archiv | 1997
    Schlagwörter: safety-critical software

    Formal requirements analysis of an avionics control system

    Dutertre, B. / Stavridou, V. | Tema Archiv | 1997
    Schlagwörter: safety-critical software

    Supporting the evolution of distributed, non-stop, mission and safety critical systems

    McKay, C.W. / Atkinson, C. | Tema Archiv | 1995
    Schlagwörter: safety-critical software

    Safety-critical systems built with COTS

    Profeta, J.A. III / Andrianos, N.P. / Bing Yu et al. | Tema Archiv | 1996
    Schlagwörter: safety-critical software