Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Behavior Computation of Aerospace Software for Validation of Security and Functionality


    Contributors:

    Conference:

    2018 AIAA SPACE and Astronautics Forum and Exposition



    Publication date :

    2018-01-01



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English





    Perspectives on aerospace software validation

    Rubey, R.J. | Tema Archive | 1972


    Formal Validation of Aerospace Software

    Lesens, D. / Moy, Y. / Kanig, J. et al. | British Library Conference Proceedings | 2013