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
8 pages
Report
Keine Angabe
Englisch
NTRS | 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