TY  - CONF

T1  - A runtime verification framework for dynamically adaptive multi-agent systems

JO  - 2016 International Conference on Big Data and Smart Computing (BigComp)

PY  - 2016/01/01

AU  - Lim YJ

AU  - Gwangui Hong

AU  - Donghwan Shin

AU  - Eunkyoung Jee

AU  - Doo-Hwan Bae

ED  - 

DO  - DOI: 10.1109/bigcomp.2016.7425981

PB  - IEEE

Y2  - 2024/10/23

ER  -