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

Publication
KIISE Transactions on Computing Practices