![](/img/cover-not-exists.png)
[IEEE 2011 IEEE/AIAA 30th Digital Avionics Systems Conference (DASC) - Seattle, WA, USA (2011.10.16-2011.10.20)] 2011 IEEE/AIAA 30th Digital Avionics Systems Conference - Using assertions to satisfy DO-254 elemental analysis
Landoll, David, Beland, Steven C.Year:
2011
Language:
english
DOI:
10.1109/dasc.2011.6096282
File:
PDF, 3.11 MB
english, 2011