Registered user since Thu 19 Oct 2023

Name:Manoj G. Dixit
Country:India
Affiliation:MathWorks
Research interests:Formal methods, Embedded Systems, V&V

Contributions