Marisol García-Valls, Diego Perez-Palacin, Raffaela Mirandola. Extending the verification capabilities of middleware for reliable distributed self-adaptive systems. In 12th IEEE International Conference on Industrial Informatics, INDIN 2014, Porto Alegre, RS, Brazil, July 27-30, 2014. pages 164-169, IEEE, 2014. [doi]
Abstract is missing.