Sm@RT Research Team

Sm@RT Research Team

Home
People
Publications
Talks
Projects
Contact

Light Dark Automatic

"Model Verification"

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

Ronan Baduel, Mohammad Chami, Jean-Michel Bruel, Iulian Ober

PDF Cite

© 2022 - ACDC. Last update: October, 11th, 2022

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite