ISSN: 2168-9792
+44-77-2385-9429
Rathina Kumar V
CSIR-National Aerospace Laboratories, Bangalore, India
Autopilot; Mode transition logic; Semi-formal methods; Stateflow; Simulink design verifier; Model advisor; RTR; Reactis; Validator; Tester