GET THE APP
ISSN: 2168-9792
+44-20-4587-4809
Jayanthi J CSIR-National Aerospace Laboratories, Bangalore, India
Autopilot; Mode transition logic; Semi-formal methods; Stateflow; Simulink design verifier; Model advisor; RTR; Reactis; Validator; Tester