Adriano Ferreira, Paulo Leitão, José Barata Oliveira. Formal Specification of a Self-sustainable Holonic System for Smart Electrical Micro-grids. In Theodor Borangiu, Damien Trentesaux, André Thomas, Paulo Leitão, José Barata Oliveira, editors, Service Orientation in Holonic and Multi-Agent Manufacturing - Proceedings of SOHOMA 2016, Lisbon, Portugal, October 6-7, 2016. Volume 694 of Studies in Computational Intelligence, pages 179-190, Springer, 2016. [doi]
Abstract is missing.