MODSARE-V: Validation of Dependability and Safety Critical Software Components with Model Based Requirements
Conference; Budapest, Data systems in aerospace; DASIA 2010 ; 2010
2010-01-01
16 pages
Held in e-store (RMS)
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Dependability validation, evaluation and testing of safety-critical aerospace systems
British Library Conference Proceedings | 1999
|Ensuring Dependability and Safety in the Development of Mission/Safety-Critical Software
British Library Conference Proceedings | 2009
|Are Safety, Security, and Dependability Achievable Software?
British Library Conference Proceedings | 1996
|Software Dependability & Safety Methods According to ECSS
British Library Conference Proceedings | 2005
|