|
[SBJJB17]
Jiyoung Song, Young-Min Baek, Mingyu Jin, Eunkyoung Jee and Doo-Hwan Bae.
SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS.
In Proc. 2017 24th Asia-Pacific Software Engineering Conference (APSEC'17).
2017.
[Presents a slicing technique, based on PRISM models, for statistical model checking of system-of-system models.]
|
|
Links:
[Google]
[Google Scholar]
|