"Model Verification"

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