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]
@inproceedings{Garcia-VallsPM14-0,
title = {Extending the verification capabilities of middleware for reliable distributed self-adaptive systems},
author = {Marisol García-Valls and Diego Perez-Palacin and Raffaela Mirandola},
year = {2014},
doi = {10.1109/INDIN.2014.6945502},
url = {http://dx.doi.org/10.1109/INDIN.2014.6945502},
researchr = {https://researchr.org/publication/Garcia-VallsPM14-0},
cites = {0},
citedby = {0},
pages = {164-169},
booktitle = {12th IEEE International Conference on Industrial Informatics, INDIN 2014, Porto Alegre, RS, Brazil, July 27-30, 2014},
publisher = {IEEE},
}