SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation

Ronan Baduel, Mohammad Chami, Jean-Michel Bruel, Iulian Ober
June 2018
PDF Cite
Type
Conference paper
Publication
European Conference on Modelling Foundations and Applications
"SysML" "Systems Modeling" MBSE "Model Verification"
Jean-Michel Bruel
Jean-Michel Bruel
Professor of Software Engineering

My research interests include Model-Based Systems Engineering and Requirements Engineering.

Related