conf.researchr.org / Rakshit Mittal
Registered user since Mon 30 Mar 2020
Name:Rakshit Mittal
Country:Belgium
Affiliation:Universiteit Antwerpen
Personal website: https://raks0009.github.io
GitHub: https://github.com/raks0009
Research interests:Formal Verification, Cyberphysical Systems, Model-driven Engieering
Contributions
2022
MODELS
- Author of Solving the Instance Model-View Update Problem in AADL within the ACM Student Research Competition-track
- Author of Solving the Instance Model-View Update Problem in AADL within the Technical Track-track
- Author of OSATE-DIM Solves the Instance Model View-Update Problem in AADL within the Tools & Demonstrations-track