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
Ronan Baduel
,
Iulian Ober
,
Jean-Michel Bruel
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
Jean-Michel Bruel
Professor of Software Engineering
My research interests include Model-Based Systems Engineering and Requirements Engineering.
Related
Modeling and verification method for an early evaluation of Systems of Systems interactions
SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation
Definition of states and modes as general concepts for system design and validation
SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation
Chaire Industrielle
Cite
×