![](/img/cover-not-exists.png)
[IEEE 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR) - Vienna, Austria (2016.4.11-2016.4.11)] 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR) - Software certification of airborne cyber-physical systems under DO-178C
Basagiannis, StylianosYear:
2016
Language:
english
DOI:
10.1109/snr.2016.7479378
File:
PDF, 277 KB
english, 2016