Registered user since Fri 2 Jul 2021
Name:Arpit Sharma
Country:India
Affiliation:Indian Institute of Science Education and Research Bhopal
Personal website: https://sites.google.com/iiserb.ac.in/arpit-sharma/
X (Twitter): https://x.com/Arpit_Sharma_CS
Research interests:Formal Methods, Probabilistic Model Checking, Model Based Testing, Software Product Lines, Software Requirements, Process Mining
Contributions
Using general profile