Self-Adaptive System Verification based on SysML

Seungmin Lee, Soojin Park, Young Bom Park. Self-Adaptive System Verification based on SysML. In International Conference on Electronics, Information, and Communication, ICEIC 2019, Auckland, New Zealand, January 22-25, 2019. pages 1-3, IEEE, 2019. [doi]

Abstract

Abstract is missing.