Sm@RT Research Team
Sm@RT Research Team
Home
People
Publications
Talks
Projects
Contact
Light
Dark
Automatic
Systems of Systems
Modeling and verification method for an early evaluation of systems of systems interactions
Ronan Baduel
,
Iulian Ober
,
Jean-Michel Bruel
PDF
Cite
DOI
Cite
×