S. Kumar Baghel

According to our database, S. Kumar Baghel authored at least 2 papers in 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

Formal verification of avionics self adaptive software: A case study.

Rajanikanth N. Kashi, Meenakshi D'Souza, S. Kumar Baghel, Nitin Kulkarni

Proceedings of the 9th India Software Engineering Conference, 2016

Incorporating adaptivity using learning in avionics self adaptive software: A case study.

Rajanikanth N. Kashi, Meenakshi D'Souza, S. Kumar Baghel, Nitin Kulkarni

Proceedings of the 2016 International Conference on Advances in Computing, 2016