Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Assuring Software Fault Management with the Architecture Analysis and Design Language


    Beteiligte:

    Kongress:

    Infotech@Aerospace 2012



    Erscheinungsdatum :

    01.01.2012




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    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