External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal verification of avionics self adaptive software: A case study

Rajanikanth N. Kashi, Meenakshi D'Souza, S. Kumar Baghel, Nitin Kulkarni. Formal verification of avionics self adaptive software: A case study. In Santonu Sarkar, Ashish Sureka, Domenico Cotroneo, Nishant Sinha, Vibha Singhal Sinha, Radhika Venkatasubramanyam, Padmaja Joshi, R. D. Naik, Pushpendra Singh, JayPrakash Lalchandani, editors, Proceedings of the 9th India Software Engineering Conference, Goa, India, February 18-20, 2016. pages 163-169, ACM, 2016. [doi]

Authors

Rajanikanth N. Kashi

This author has not been identified. Look up 'Rajanikanth N. Kashi' in Google

Meenakshi D'Souza

This author has not been identified. Look up 'Meenakshi D'Souza' in Google

S. Kumar Baghel

This author has not been identified. Look up 'S. Kumar Baghel' in Google

Nitin Kulkarni

This author has not been identified. Look up 'Nitin Kulkarni' in Google
runs on