Author:
Sardar Muhammad Usama,Afaq Nida,Hoque Khaza Anuarul,Johnson Taylor T.,Hasan Osman
Publisher
Springer International Publishing
Reference33 articles.
1. Instrument Procedures Handbook. U.S. Department of Transportation, Federal Aviation Administration (2015)
2. PRISM - Probabilistic Symbolic Model Checker (2016). http://www.prismmodelchecker.org
3. Lecture Notes in Computer Science;T Arons,2001
4. Bai, C., Zhang, X.: Aircraft landing scheduling in the small aircraft transportation system. In: International Conference on Computational and Information Sciences, pp. 1019–1022. IEEE (2011)
5. Baier, C., Katoen, J.P., et al.: Principles of model checking, vol. 26202649. MIT Press, Cambridge (2008)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献