Sorana Tania Nemes, Andreea Buga. Adopting formal approaches for monitoring and adaptation for large-scale distributed systems. In 8th International Conference on Information, Intelligence, Systems & Applications, IISA 2017, Larnaca, Cyprus, August 27-30, 2017. pages 1-6, IEEE, 2017. [doi]
Abstract is missing.