ISSN: 2168-9792
+44-77-2385-9429
Jayanthi J
CSIR-National Aerospace Laboratories, Bangalore, India
Jayanthi J is working in the Department of Aerospace, Electronics and System Division at CSIR-National Aerospace Laboratories, Bangalore, India
Autopilot; Mode transition logic; Semi-formal methods; Stateflow; Simulink design verifier; Model advisor; RTR; Reactis; Validator; Tester