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




    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