Jiyoung Song, Jeehoon Kang, Sangwon Hyun, Eunkyoung Jee, Doo-Hwan Bae. Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing. Information \& Software Technology, 147:106904, 2022. [doi]
Abstract is missing.