Association for Computing Machinery (ACM) - Modeling and Verification for Different Types of System of Systems using PRISM

2016 IEEE/ACM 4th International Workshop on Software Engineering for Systems-of-Systems (SESoS)

Author(s): Dongwon Seo ; Donghwan Shin ; Young-Min Baek ; Jiyoung Song ; Wonkyung Yun ; Junho Kim ; Eunkyoung Jee ; Doo-Hwan Bae
Publisher: Association for Computing Machinery (ACM)
Publication Date: 1 May 2016
Conference Location: Austin, TX, USA
Conference Date: 16 May 2016
Page(s): 12 - 18
ISBN (Electronic): 978-1-4503-4172-1
DOI: 10.1109/SESoS.2016.011
Regular:

A System of Systems (SoS) consists of complex Constituent Systems (CSs), which have managerial and operational independence. As the CSs have independence, the degree of authority to control the... View More

Advertisement