TY  - CONF

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

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

UR  - https://doi.org/10.1109/bigcomp.2016.7425981

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

SP  - 509

EP  - 512

Y2  - 2025/11/28

ER  -