![](/img/cover-not-exists.png)
[IEEE 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC) - Sacramento, CA, USA (2016.9.25-2016.9.29)] 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC) - Probabilistic model checking of the next-generation airborne collision avoidance system
Gardner, Ryan W., Genin, Daniel, McDowell, Raymond, Rouff, Christopher, Saksena, Anshu, Schmidt, AuroraYear:
2016
Language:
english
DOI:
10.1109/DASC.2016.7777963
File:
PDF, 683 KB
english, 2016