Jean-Michel Bruel
Jean-Michel Bruel
Home
Publications
Talks
Teachings
Projects
People
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
Cite
×