MODELS 2022 (series) / Rakshit Mittal
![Rakshit Mittal](https://conf.researchr.org/getProfileImage/rakshitmittal/e0c5e3e2-ff1b-4299-b689-95ac618cf98e/small.jpg?1715005418000)
Registered user since Mon 30 Mar 2020
Name:Rakshit Mittal
Country:Belgium
Affiliation:University of Antwerp - Flanders make
Personal website: https://about.rakshitmittal.net
Research interests:Formal Verification, Cyberphysical Systems, Model-driven Engieering
Contributions
MODELS 2022-profile
View general profile
View general profile