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