Journal of Aeronautics & Aerospace Engineering
Open Access

Nanda M

Biography

 Nanda M is working in the  Department of Aerospace, Electronics and System Division at CSIR-National Aerospace Laboratories, Bangalore, India.

Research Interest

 Autopilot; Mode transition logic; Semi-formal methods; Stateflow; Simulink design verifier; Model advisor; RTR; Reactis; Validator; Tester

Relevant Topics