Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Anzalone, Evan J. (Autor:in) / Hoen, Nicholas (Autor:in) / Park, Thomas (Autor:in) / Weyandt, Charles (Autor:in)

    Kongress:

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



    Erscheinungsdatum :

    2020


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch





    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 Archiv | 2009


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

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