V. R. Lalithambika

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

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of six.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Modeling and Validating Launch Vehicle Onboard Software Using the SPIN Model Checker.
J. Aerosp. Inf. Syst., December, 2020

2018
A Comparison of AFDX and 1553B Protocols Using Formal Verification.
Proceedings of the 2018 International Conference on Advances in Computing, 2018

Modelling and validating 1553B protocol using the SPIN model checker.
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.
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.
Proceedings of the IEEE International Conference on Control Applications, 2013


  Loading...