The presentation is intended to give an overview of the verification efforts in the Safety-Critical Avionics Systems Branch at the NASA Langley Research Center. Mainly targeted at students that are interested in internships in our group.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Research in the Verification of Flight-Critical Systems


    Beteiligte:
    Alwyn Goodloe (Autor:in)

    Kongress:

    Penn Precise Seminar ; 2012 ; Philadelphia, PA, US


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Verification of Flight Critical Systems

    Goossen, Emray | SAE Technical Papers | 1990



    Verification and validation of distributed flight critical systems

    Hall, Brendan / Driscoll, Kevin / Schweiker, Kevin | IEEE | 2012


    Verification and Validation for Flight-Critical Systems (VVFCS)

    Graves, Sharon S. / Jacobsen, Robert A. | NTRS | 2010


    Verification and validation of flight critical systems (VVFCS)

    Hall, Brendan / Driscoll, Kevin / Schweiker, Kevin | IEEE | 2012