A formal specification approach for holonic control systems: the ADACOR case

Paulo Leitão*, Armando W. Colombo, Francisco Restivo

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

13 Citations (Scopus)

Fingerprint

Dive into the research topics of 'A formal specification approach for holonic control systems: the ADACOR case'. Together they form a unique fingerprint.

Computer Science

Engineering