Formal specification of a self-sustainable holonic system for smart electrical micro-grids

Adriano Ferreira, Paulo Leitão, José Barata Oliveira

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

3 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Formal specification of a self-sustainable holonic system for smart electrical micro-grids'. Together they form a unique fingerprint.

Engineering & Materials Science