Jiyoung Song, Young Min Baek, Mingyu Jin, Eunkyoung Jee, Doo-Hwan Bae. SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS. In Jian Lv, He Jason Zhang, Mike Hinchey, Xiao Liu 0004, editors, 24th Asia-Pacific Software Engineering Conference, APSEC 2017, Nanjing, China, December 4-8, 2017. pages 546-551, IEEE Computer Society, 2017. [doi]
Abstract is missing.