![Software / Software requirements / Embedded systems / Safety / DO-178C / DO-178B / Frama-C / Formal verification / Verification / Software development / Avionics / Computing Software / Software requirements / Embedded systems / Safety / DO-178C / DO-178B / Frama-C / Formal verification / Verification / Software development / Avionics / Computing](https://www.pdfsearch.io/img/9a1108a58b2dbeb2590bcfcfbee25c81.jpg)
| Document Date: 2013-09-24 04:53:57 Open Document File Size: 1,13 MBShare Result on Facebook
Company Boeing / Airborne Systems / Airbus / / IndustryTerm redundancy management / software development / / Person Test / Kirstie Bellman / / Position Verification general / / Product A380 / / ProgrammingLanguage DC / L / C / / RadioStation FM 2009 / /
SocialTag |