|
[SKH+22]
Jiyoung Song, Jeehoon Kang, Sangwon Hyun, Eunkyoung Jee and Doo-Hwan Bae.
Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing.
Information and Software Technology, 147, Elsevier.
2022.
[Proposes methods for continuous-verification-of-SoS including modelling and analysis with PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|