Modeling and verification method for an early evaluation of systems of systems interactions

Type
Publication
SAC ‘20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30 - April 3, 2020