Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Development and Verification of Software for Flight Safety Critical Systems



    Kongress:

    52nd Symposium, Software for guidance and control ; 1991 ; Helexpo; Greece



    Erscheinungsdatum :

    1991-01-01


    Format / Umfang :

    25/1-25/4



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch





    Formal Verification of Flight Critical Software

    Miller, Steven / Anderson, Elise / Wagner, Lucas et al. | AIAA | 2005


    Verification of Flight Critical Systems

    Goossen, Emray | SAE Technical Papers | 1990


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

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


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

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