MODELS 2025 (series) / Daniel Ratiu

Registered user since Wed 14 May 2025
Name:Daniel Ratiu
Country:Germany
Affiliation:CARIAD
Personal website: https://sites.google.com/site/ratiud/home
GitHub: https://github.com/danielratiu
Research interests:model driven engineering, language engineering, model based safety engineering, usable formal verification
Contributions
Using general profile