|
[MJIB20]
Ahmad Mohsin, Naeem Khalid Janjua, Syed M. S. Islam and Muhammad Ali Babar.
SAM-SoS: A Stochastic Software Architecture Modeling and Verification Approach for Complex System-of-Systems.
IEEE Access, 8.
2020.
[Proposes an approach for modelling and verifying System-of-Systems (SoS) based on a translation to PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|