Robust Software Engineering Group's case studies in aerospace software analysis a) Remote Agent; b) K9 Rover; c) Lessons learned; d) Research gaps; e) Verifying autonomy software.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Verifying Aerospace Software


    Beteiligte:
    Visser, Willem (Autor:in)

    Erscheinungsdatum :

    01.01.2005


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Verifying Aerospace Software

    W. Visser | NTIS | 2005



    VERIFYING PROCESS SAFETY REQUIREMENTS: SIMILARITIES BETWEEN AEROSPACE AND OIL & GAS INDUSTRIES

    Zager, Mia / McKinney, Anne / Reed, Michele et al. | British Library Conference Proceedings | 2019



    Aerospace computer software

    CARLSSON, A. | AIAA | 1979