Journal of Aeronautics & Aerospace Engineering
Open Access
ISSN: 2168-9792
ISSN: 2168-9792
Rathina Kumar V
CSIR-National Aerospace Laboratories, Bangalore, India
Rathina Kumar V is working in the Department of Aerospace, Electronics and System Division, CSIR-National Aerospace Laboratories, Bangalore, India.
Autopilot; Mode transition logic; Semi-formal methods; Stateflow; Simulink design verifier; Model advisor; RTR; Reactis; Validator; Tester