A formal validation approach for holonic control system specifications.

Paulo Leito, Armando W. Colombo, Francisco J. Restivo

Browse the full ETFA paper archive.