Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Verification, Validation and Licensing of Safety Critical Systems


    Beteiligte:
    Rabe, G. (Autor:in) / Krage, G. (Autor:in)

    Kongress:

    16th, International system safety conference ; 1998 ; Seattle; WA


    Erscheinungsdatum :

    01.01.1998


    Format / Umfang :

    10 pages


    Anmerkungen:

    Described as proceedings. Theme title: System safety - the total solution


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch


    Schlagwörter :


    Verification, Validation and Licensing of Safety Critical Systems

    Rabe, G. / Krage, G. / System Safety Society (U.S.) | British Library Conference Proceedings | 2006


    Run-Time Verification and Validation for Safety-Critical Flight Control Systems

    Schierman, J. / Ward, D. / Aiello, A. et al. | British Library Conference Proceedings | 2008


    Run-Time Verification and Validation for Safety-Critical Flight Control Systems

    Schierman, John / Ward, David / Dutoi, Brian et al. | AIAA | 2008


    Integrated Formal Verification and Validation of Safety Critical Software

    Ward, N. J. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993


    Stochastic Validation and Verification of Railroad Safety-Critical Software

    Giras, T. C. / Zentrum fur Verkehr der Technischen Universitat Braunschweig / Verein Deutscher Ingenieure | British Library Conference Proceedings | 2003