A formal specification approach for holonic control systems: the ADACOR case
| Year of publication: |
2006
|
|---|---|
| Authors: | Leitao, Paulo ; Colombo, Armando W. ; Restivo, Francisco |
| Published in: |
International journal of manufacturing technology and management. - Milton Keynes [u.a.] : Inderscience Enterprises, ISSN 1368-2148, ZDB-ID 20374021. - Vol. 8.2006, 1-3, p. 37-57
|