Sm@RT Research Team
Sm@RT Research Team
Home
People
Publications
Talks
Projects
Contact
Light
Dark
Automatic
"Validation"
Méthodologie de conception de systèmes de simulations en entreprise étendue, basée sur l'ingénierie système dirigée par les modèles
Renan Leroux-Beaudout
PDF
Cite
An integrated model-based early validation approach for railway systems
Ronan Baduel
PDF
Cite
Requirements Specific Modeling Language : un langage formel d'expression d'exigences
Florian Galinier
,
Sophie Ebersold-Marcaillou
,
Jean-Michel Bruel
PDF
Cite
Cite
×