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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Verifying Aerospace Software


    Contributors:
    W. Visser (author)

    Publication date :

    2005


    Size :

    8 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English