Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Safety Critical Software System Verification Strategy


    Beteiligte:

    Kongress:

    18th, International system safety conference ; 2000 ; Fort Worth, TX



    Erscheinungsdatum :

    01.01.2000


    Format / Umfang :

    10 pages


    Anmerkungen:

    Theme title: System safety at the frontier of technology. Also known as ISSC


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch


    Schlagwörter :


    Safety Critical Software System Verification Strategy

    McNeil, J. / Nation, D. / System Safety Society (U.S.) | British Library Conference Proceedings | 2006


    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


    Integrated Formal Verification and Validation of Safety Critical Software

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


    Definition and Verification of Critical Safety Functions in Software

    Kuettner, H.D. / Owen, P.R. / System Safety Society (U.S.) | British Library Conference Proceedings | 2006


    Software hardware co-simulation and co-verification in safety critical system design

    Shi, Jin / Liu, Weichao / Jiang, Ming et al. | IEEE | 2013