Use of Models to Verify and Validate Requirements for Critical Software
Conference, Data systems in aerospace; DASIA 2009 ; 2009 ; Istanbul, Turkey
2009-01-01
47 pages
Held in e-store (RMS); Held on CD-ROM
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
British Library Conference Proceedings | 2016
|SAE Technical Papers | 2016
|