|
[SSB+16]
Dongwon Seo, Donghwan Shin, Young-Min Baek, Jiyoung Song, Wonkyung Yun, Junho Kim, Eunkyoung Jee and Doo-Hwan Bae.
Modeling and Verification for Different Types of System of Systems using PRISM.
In Proc. IEEE/ACM 4th International Workshop on Software Engineering for Systems-of-Systems (SESoS'16), pages 12-18.
2016.
[Proposes a modelling scheme for system of systems (SoS) and uses PRISM for verification.]
|
|
Links:
[Google]
[Google Scholar]
|