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

June 2018
PDF Cite
Type
1
Publication
European Conference on Modelling Foundations and Applications
"SysML" "Systems Modeling" "MBSE" "Model Verification"