Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    (AAS 20-092) Hardware Verification and Validation for a Navigation Sensor Software Model in Support of Flight Vehicle Performance Analysis


    Contributors:

    Conference:

    AAS Rocky Mountain Section Guidance, Navigation and Control Conference ; 43. ; 2020 ; Breckenridge, Colo.



    Publication date :

    2020


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English





    Model-based independent verification and validation for dependable flight software

    Naohiko Kohtake, / Atsushi Katoh, / Naoki Ishihama, et al. | IEEE | 2009


    Model-based independent verification and validation for dependable flight software

    Kohtake, N. / Katoh, A. / Ishihama, N. et al. | Tema Archive | 2009


    Model-based Approach to Validation and Verification of Flight Critical Software

    Jaw, Link C. / Van, H. T. / Homan, David et al. | IEEE | 2008