Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Integrating Safety Analysis with Automatic Test-Data Generation for Software Safety Verification


    Beteiligte:

    Kongress:

    17th, International system safety conference ; 1999 ; Orlando, FL



    Erscheinungsdatum :

    01.01.1999


    Format / Umfang :

    10 pages


    Anmerkungen:

    Theme title: System safety at the dawn of the new millennium


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch


    Schlagwörter :


    Model based safety analysis: Automatic generation of safety validation test cases

    Philip, Gracy / Dsouza, Meenakshi / Abidha, V P | IEEE | 2017



    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


    Safety-critical software development using automatic production code generation

    Erkkinen,T. / Conrad,M. / The Mathworks,GB et al. | Kraftfahrwesen | 2007