Model Synthesis and Stochastic Automated Verification of Systems-of-Systems Dynamic Architectures
Conference proceeding (October 2020)
The most recent citing publications are shown below. View all 5 publications that cite this research output on Dimensions.
Conference proceeding (October 2020)
Article in IEEE Access (January 2020)
Article in Systems (May 2018)