Soojin Park

Self-Adaptive System Verification based on SysML

2019 · 2019 International Conference on Electronics, Information, and Communication (ICEIC)

In the development of current technology, systems are being used in various fields. The system may be newly configured depending on the environment, and may be added to the existing environment. There are also cases …