Characterizing Verification Tools Through Coding Error Candidates Reported in Space Flight Software
- Author(s):
- Publication title:
- Proceedings of DASIA 2015 : DAta Systems In Aerospace : 19-21 May 2015 Barcelona, Spain
- Title of ser.:
- ESA SP
- Ser. no.:
- 732
- Pub. Year:
- 2015
- Pages:
- 14
- Pub. info.:
- Noordwijk: ESA Communications
- ISSN:
- 1609042X
- ISBN:
- 9789292212964 [9292212966]
- Language:
- English
- Call no.:
- E11690/732 [CD-ROM]
- Type:
- Conference Proceedings