V. R. Lalithambika

According to our database, V. R. Lalithambika authored at least 5 papers between 2013 and 2020.

Collaborative distances:

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

2020

Modeling and Validating Launch Vehicle Onboard Software Using the SPIN Model Checker.

Ranjani Krishnan, V. R. Lalithambika

J. Aerosp. Inf. Syst., December, 2020

2018

A Comparison of AFDX and 1553B Protocols Using Formal Verification.

Ranjani Krishnan, V. R. Lalithambika

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

Modelling and validating 1553B protocol using the SPIN model checker.

Ranjani Krishnan, V. R. Lalithambika

Proceedings of the 10th International Conference on Communication Systems & Networks, 2018

2013

3D information retrieval for visual odometry system of planetary exploration rovers - A stereo vision approach.

K. Chitra, Sudin Dinesh, Deepak Mishra, V. Brinda, V. R. Lalithambika, B. Manoj Kumar

Proceedings of the International Conference on Advances in Computing, 2013

Comparative study of different methods used to stabilize lateral-directional dynamics of a typical reusable launch vehicle.

Gopal Jee, V. Brinda, V. R. Lalithambika, M. V. Dhekane

Proceedings of the IEEE International Conference on Control Applications, 2013