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:
    W. Visser (Autor:in)

    Erscheinungsdatum :

    2005


    Format / Umfang :

    8 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch