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:

    Publication date :

    2005-01-01


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English