Formal Specification of ADACOR Holonic Control System: Coordination Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Paulo Leitão, Armando W. Colombo, Francisco J. Restivo. Formal Specification of ADACOR Holonic Control System: Coordination Models. In 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, CDC/ECC 2005, Seville, Spain, 12-15 December, 2005. pages 2137-2142, IEEE, 2005. [doi]

This author has not been identified. Look up 'Paulo Leitão' in GoogleThis author has not been identified. Look up 'Armando W. Colombo' in GoogleThis author has not been identified. Look up 'Francisco J. Restivo' in Google

runs on WebDSL