MODELS 2022
Sun 23 - Fri 28 October 2022 Montréal, Canada
Rakshit Mittal

Registered user since Mon 30 Mar 2020

Name:Rakshit Mittal
Country:Belgium
Affiliation:Universiteit Antwerpen
Research interests:Formal Verification, Cyberphysical Systems, Model-driven Engieering

Contributions

MODELS 2022 Solving the Instance Model-View Update Problem in AADL
Solving the Instance Model-View Update Problem in AADL
OSATE-DIM Solves the Instance Model View-Update Problem in AADL
Show activities from other conferences

MODELS 2022-profile
View general profile