Sign in
V. R. Lalithambika
Publication Activity (10 Years)
Years Active: 2013-2018
Publications (10 Years): 2
Top Topics
Comparative Study
Stereo Vision
Formal Verification
Model Checker
Top Venues
ICACCI
COMSNETS
CCA
</>
Publications
</>
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)