Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    A Framework for Verification and Validation of Complex Aerospace Systems


    Contributors:

    Conference:

    Conference, Aviation technology, integration and operations ; 2013 ; Los Angeles, CA



    Publication date :

    2013-01-01


    Size :

    5 pages


    Remarks:

    Includes bibliographical references and index



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Formal Framework and Models for Validation and Verification of Software-Intensive Aerospace Systems

    Guarro, Sergio / Yau, Michael K. / Ozguner, Umit et al. | AIAA | 2017


    Verification and Validation of Neural Networks for Aerospace Systems

    D. Mackall / S. Nelson / J. Schumman | NTIS | 2002


    Verification and Validation of Neural Networks for Aerospace Systems

    Mackall, Dale / Nelson, Stacy / Schumman, Johann et al. | NTRS | 2002


    Verification and Validation of Neural Networks for Aerospace Systems

    D. Mackall / S. Nelson / J. Schumann | NTIS | 2002


    Verification and Validation of Neural Networks for Aerospace Systems

    Mackall, Dale / Nelson, Stacy / Schumann, Johann | NTRS | 2002