Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Assuring Software Fault Management with the Architecture Analysis and Design Language


    Contributors:

    Conference:

    Infotech@Aerospace 2012



    Publication date :

    2012-01-01




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    2012-2575 Assuring Software Fault Management with the Architecture Analysis and Design Language

    Evensen, K. / Fernandez, M.M. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2012


    Assuring the Correctness of Automatically Generated Software

    Vestal, S. / IEEE / AIAA | British Library Conference Proceedings | 1994




    Considerations for Assuring Software Systems of Autonomous Aircraft

    Assaad, Zena / Derwort, Noel / Daniell, Katherine A. | IEEE | 2020