Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Stochastic Validation and Verification of Railroad Safety-Critical Software



    Kongress:

    International workshop on software specification of safety relevant transportation control tasks ; 2002 ; Brunswick, Germany



    Erscheinungsdatum :

    01.01.2003


    Format / Umfang :

    12 pages




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Integrated Formal Verification and Validation of Safety Critical Software

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


    Safety Critical Software System Verification Strategy

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


    Safety Critical Software System Verification Strategy

    McNeil, J. / Nation, D. / System Safety Society | British Library Conference Proceedings | 2000


    Validation and verification of METEOR safety software

    Boulanger, J. L. / Gallardo, M. / Wessex Institute of Technology | British Library Conference Proceedings | 2000


    Verification, Validation and Licensing of Safety Critical Systems

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