Author:
Kashi Nagaraj Rajanikanth,D’Souza Meenakshi
Publisher
Springer Science and Business Media LLC
Reference61 articles.
1. Intelligent Systems Technical Committee 2016 Roadmap for intelligent systems in aerospace. AIAA, 1st edition
2. Cheng B H et al 2009 Springer-Verlag, Berlin, Heidelberg, pp. 1–26
3. Kashi Rajanikanth Nagaraj, D'Souza Meenakshi and Kishore Raman Koyalkar 2017 Incorporating formal methods and measures obtained through analysis, simulation testing for dependable self-adaptive software in avionics systems. In: Proceedings of the 10th ACM India Conference, Bhopal, India, ACM COMPUTE 2017
4. Kashi Rajanikanth Nagaraj, D'Souza Meenakshi and Baghel S Kumar, Kulkarni Nitin 2016 Incorporating adaptivity using learning in avionics self adaptive software: A case study. In: International Conference on Advances in Computing, Communications and Informatics, ICACCI 2016, Jaipur, India, Sept 21-24
5. Kashi Rajanikanth Nagaraj, D'Souza Meenakshi and Baghel S Kumar, Kulkarni Nitin 2016 Formal verification of avionics self adaptive software: A case study. In: Proceedings of the 9th India Software Engineering Conference, Goa, India, ACM, pp. 163–169
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献