Jean-Michel Bruel
Jean-Michel Bruel
Home
People
Publications
Talks
Teachings
Projects
CV
Experience
Fun
Contact
Light
Dark
Automatic
SysML
SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation
This paper presents a solution for SysML model verification and validation, with a return of experience from its implementation in an …
Ronan Baduel
,
Mohammad Chami
,
Jean-Michel Bruel
,
Iulian Ober
PDF