Showing results 1 to 2 of 2
Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing Song, Jiyoung; Kang, Jeehoon; Hyun, Sangwon; Jee, Eunkyoung; Bae, Doo-Hwan, INFORMATION AND SOFTWARE TECHNOLOGY, v.147, 2022-07 |
Continuous verification with acknowledged MAPE-K pattern and time logic-based slicing: A platooning system of systems case study Song, Jiyoung; Bae, Doo-Hwan, JOURNAL OF SYSTEMS AND SOFTWARE, v.206, 2023-12 |
Discover