Showing results 1 to 3 of 3
Modeling and verification for different types of system of systems using PRISM Seo, Dongwon; Shin, Donghwan; Baek, Young-Min; Song, Jiyoung; Yun, Wonkyung; Kim, Junho; Jee, Eunkyoung; et al, 4th International Workshop on Software Engineering for Systems-of-Systems, SESoS 2016, pp.12 - 18, Association for Computing Machinery, Inc, 2016-05-16 |
Mutation analysis for system of systems policy = 시스템 오브 시스템즈 정책을 위한 뮤테이션 분석 기법link Yun, Wonkyung; Bae, Doo-Hwan; et al, 한국과학기술원, 2017 |
Mutation Analysis for System of Systems Policy Testing Yun, Wonkyung; Shin, Donghwan; Bae, Doo-Hwan, 5th IEEE/ACM Joint International Workshop on Software Engineering for Systems-of-Systems and 11th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems, JSOS 2017, pp.16 - 22, Institute of Electrical and Electronics Engineers Inc., 2017-05-23 |
Discover