Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Static Analysis Tools, a Practical Approach for Safety-Critical Software Verification


    Beteiligte:

    Kongress:

    Conference, Data systems in aerospace; DASIA 2009 ; 2009 ; Istanbul, Turkey



    Erscheinungsdatum :

    01.01.2009


    Format / Umfang :

    41 pages


    Anmerkungen:

    Held in e-store (RMS); Held on CD-ROM




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    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


    Static Code Analysis on the C-130J Hercules Safety Critical Software

    Harrison, K. J. / System Safety Society | British Library Conference Proceedings | 1999


    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