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.
Verifying Aerospace Software
2005-01-01
Miscellaneous
No indication
English
NTIS | 2005
|VERIFYING PROCESS SAFETY REQUIREMENTS: SIMILARITIES BETWEEN AEROSPACE AND OIL & GAS INDUSTRIES
British Library Conference Proceedings | 2019
|The aerospace world - Aerospace technology Software
Online Contents | 1999
AIAA | 1979
|