Collaboration initiated with the Innopolis University on the use of formal methods in Requirements Engineering
Placing the Final User Needs (FUN) at the center of the (modeling) concerns
An integrated model-based early validation approach for Railway Systems
GEMOC is an open and international initiative that aims to coordinate and disseminate the research results regarding the support of the coordinated use of various modeling languages that will lead to the concept of the globalization of modeling languages.
MOdels and Information Sharing for System Engineering in Extended Entreprise