Formal specification of ADACOR holonic control system: coordination models

Indexado ISI

Bibliographic Details
Main Author: Leitão, Paulo (author)
Other Authors: Colombo, Armando W. (author), Restivo, Francisco (author)
Format: conferenceObject
Language:eng
Published: 2010
Subjects:
Online Access:http://hdl.handle.net/10198/1523
Country:Portugal
Oai:oai:bibliotecadigital.ipb.pt:10198/1523
Description
Summary:Indexado ISI