V. R. Lalithambika

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 3

Top Topics

Formal Verification

Description Language

Top Venues

J. Aerosp. Inf. Syst.

Publications

Ranjani Krishnan, V. R. Lalithambika
Modeling and Validating Launch Vehicle Onboard Software Using the SPIN Model Checker. J. Aerosp. Inf. Syst. 17 (12) (2020)
Ranjani Krishnan, V. R. Lalithambika
Modelling and validating 1553B protocol using the SPIN model checker. COMSNETS (2018)
Ranjani Krishnan, V. R. Lalithambika
A Comparison of AFDX and 1553B Protocols Using Formal Verification. ICACCI (2018)
Gopal Jee, V. Brinda, V. R. Lalithambika, M. V. Dhekane
Comparative study of different methods used to stabilize lateral-directional dynamics of a typical reusable launch vehicle. CCA (2013)
K. Chitra, Sudin Dinesh, Deepak Mishra, V. Brinda, V. R. Lalithambika, B. Manoj Kumar
3D information retrieval for visual odometry system of planetary exploration rovers - A stereo vision approach. ICACCI (2013)