TY  - JOUR

T1  - An Applicability Study of Action-Benefit-Cost Model and Statistical Model Checking for System of Systems Goal Achievement Verification

JO  - KIISE Transactions on Computing Practices

PY  - 2017/04/15

AU  - Kim J

AU  - Shin D

AU  - Bae D-H

ED  - 

DO  - DOI: 10.5626/ktcp.2017.23.4.256

PB  - Korean Institute of Information Scientists and Engineers

VL  - 23

IS  - 4

SP  - 256

EP  - 261

Y2  - 2024/12/22

ER  -