Showing results 1 to 2 of 2
A runtime verification framework for dynamically adaptive multi-agent systems Lim, Yoo Jin; Hong, Gwangui; Shin, Donghwan; Jee, Eunkyoung; Bae, Doo-Hwan, International Conference on Big Data and Smart Computing, BigComp 2016, pp.509 - 512, Institute of Electrical and Electronics Engineers Inc., 2016-01 |
Efficient Testing of Self-Adaptive Behaviors in Collective Adaptive Systems Lim, Yoo Jin; Jee, Eunkyoung; Shin, Donghwan; Bae, Doo-Hwan, The 39th Annual International Computers, Software & Applications Conference, pp.216 - 221, IEEE Computer Society, 2015-07-03 |
Discover