Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Adopting Model-Based Software Design and Verification for Aerospace Systems


    Contributors:

    Conference:

    SAE 2017 AeroTech Congress and Exhibition



    Publication date :

    2017-01-01


    Size :

    ALL-ALL



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English



    Adopting Model-Based Software Design and Verification for Aerospace Systems

    Jha, Ashutosh Kumar / Choudhary, Prakash | SAE Technical Papers | 2017




    A methodology for model-based development and automated verification of software for aerospace systems

    Martin, Lukas / Schatalov, Maxim / Hagner, Matthias et al. | IEEE | 2013


    Adopting exergy analysis for use in aerospace

    Hayes, David | Online Contents | 2017