@article{article, title  = {{An Applicability Study of Action-Benefit-Cost Model and Statistical Model Checking for System of Systems Goal Achievement Verification}},

 publisher = {{Korean Institute of Information Scientists and Engineers}},

 url = {{}},

 year = {{2017}},

 month = {{4}},

 author = {{Kim J and Shin D and Bae D-H}},

 doi = {{10.5626/ktcp.2017.23.4.256}},

 volume = {{23}},

 journal = {{KIISE Transactions on Computing Practices}},

 issue = {{4}},

 pages = {{256-261}},

 note = {{Accessed on 2024/12/26}}}