SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS.

Jiyoung Song, Young Min Baek, Mingyu Jin, Eunkyoung Jee, Doo-Hwan Bae

Browse the full APSEC paper archive.