Sm@RT Research Team
Sm@RT Research Team
Home
People
Publications
Talks
Projects
Contact
Light
Dark
Automatic
Modeling and verification method for an early evaluation of systems of systems interactions
January 2020
PDF
Cite
DOI
Type
Conference paper
Publication
SAC ‘20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30 - April 3, 2020
Systems of Systems
V&V
Related
Modeling and verification method for an early evaluation of Systems of Systems interactions
Chaire Industrielle
SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation
MBSE & Early Validation
Cite
×