Slicing executable system-of-systems models for efficient statistical verification
Jiyoung Song, Jacob Odgård Tørring, Sangwon Hyun, Eunkyoung Jee, and Doo-Hwan Bae
In 2019 IEEE/ACM 7th International Workshop on Software Engineering for Systems-of-Systems (SESoS) and 13th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems (WDES) , 2019