Arpit Sharma

Registered user since Fri 2 Jul 2021

Name:Arpit Sharma
Country:India
Affiliation:Indian Institute of Science Education and Research Bhopal
Research interests:Formal Methods, Probabilistic Model Checking, Model Based Testing, Software Product Lines, Software Requirements, Process Mining

Contributions

Show activities from other conferences

Using general profile