From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Formal Verification of ALICA Multi-agent Plans Using Model Checking, , , , и . Proceedings of the Ninth International Symposium on Information and Communication Technology, Danang City, Viet Nam, (декабря 2018)Lifting Low-Level Changes through User-Defined Graph-Rule-Based Patterns, , , , и . Proceedings of the 17th IFIP International Conference on Distributed Applications and Interoperable Systems: DAIS, стр. 115-128. Springer, (2017)Towards service co-evolution in the Internet of Things.. University of Kassel, Germany, (2022)DECOM: A framework to support evolution of IoT services, , , , , и . Proceedings of the Ninth International Symposium on Information and Communication Technology, Danang City, Viet Nam, (декабря 2018)Formal Verification of ALICA Multi-agent Plans Using Model Checking., , , , и . SoICT, стр. 351-358. ACM, (2018)An Approach towards service co-evolution in the Internet of Things, , и . IoTaaS2014 the International Conference on IoT as a Service, Springer, (октября 2014)Behavior-based Service Change Detection, , , и . 4th IEEE International Conference on Smart Computing (SMARTCOMP), IEEE, (2018)DECOM: A framework to support evolution of IoT services., , , , , и . SoICT, стр. 389-396. ACM, (2018)