Sm@RT Research Team
Sm@RT Research Team
Home
People
Publications
Talks
Projects
Contact
Modeling and verification method for an early evaluation of systems of systems interactions
January 2020
PDF
Cite
DOI
Type
1
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
Cite
×