Approaches for Pure Software System Verification Facilities
Conference, Proceedings of the DASIA 2005 conference: data systems in aerospace ; 2005 ; Edinburgh
2005-01-01
P60
Held on CD-ROM. Shelved in Conference Index. Title from title screen.
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Software Validation Facilities
British Library Conference Proceedings | 1997
|Software Validation Facilities
British Library Conference Proceedings | 2011
|Software Validation Facilities
British Library Online Contents | 1997
|Ariane 5 verification and associated test facilities
NTRS | 1988
|