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

2017 24th Asia-Pacific Software Engineering Conference (APSEC) ◽

10.1109/apsec.2017.63 ◽

2017 ◽

Cited By ~ 1

Author(s):

Jiyoung Song ◽

Young-Min Baek ◽

Mingyu Jin ◽

Eunkyoung Jee ◽

Doo-Hwan Bae

Download Full-text