Optimising a Validation and Verification Strategy for Autonomous Software Systems
Conference, Data systems in aerospace ; 2006 ; Berlin
2006-01-01
12B-3
Held on CD-ROM.; Shelved in Conference Index
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Runtime Verification for Autonomous Spacecraft Software
British Library Conference Proceedings | 2005
|