MODSARE-V: Validation of Dependability and Safety Critical Software Components with Model Based Requirements
Conference; Budapest, Data systems in aerospace; DASIA 2010 ; 2010
01.01.2010
16 pages
Held in e-store (RMS)
Aufsatz (Konferenz)
Englisch
© 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
|Software Dependability & Safety Methods According to ECSS
British Library Conference Proceedings | 2005
|Are Safety, Security, and Dependability Achievable Software?
British Library Conference Proceedings | 1996
|