Donghwan Shin
Donghwan Shin
Home
Publications
Projects
Services
Honors
Light
Dark
Automatic
An Applicability Study of Action-Benefit-Cost Model and Statistical Model Checking for System of Systems Goal Achievement Verification
Junho Kim
,
Donghwan Shin
,
Doo-Hwan Bae
2017
Cite
Type
Journal article
Publication
KIISE Transactions on Computing Practices
Cite
×