TY  - CONF

T1  - Modeling and verification for different types of system of systems using PRISM

JO  - Proceedings of the 4th International Workshop on Software Engineering for Systems-of-Systems - SESoS '16

PY  - 2016/05/14

AU  - Seo D

AU  - Shin D

AU  - Baek Y-M

AU  - Song J

AU  - Yun W

AU  - Kim J

AU  - Jee E

AU  - Bae D-H

ED  - 

DO  - DOI: 10.1145/2897829.2897833

PB  - ACM Press

Y2  - 2024/12/22

ER  -