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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Research in the Verification of Flight-Critical Systems


    Contributors:

    Conference:

    Penn Precise Seminar ; 2012 ; Philadelphia, PA, US


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English




    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

    Free access