Publicações

An Approach to the Formal Specification of Holonic Control Systems

AuthID
P-00H-0NM

Author(s)

Leitão, P

Colombo, AW

Restivo, F

Editor(es)

McFarlane,D;Marik,V;Valckenaers,P;Marik,V

Tipo de Documento

Proceedings Paper

Year published

2003

Publicado

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 2744, Páginas: 59-70

Conference

1St International Conference on Industrial Applications of Holonic and Multi-Agent Systems, Holomas 2003, Date: 1 September 2003 through 3 September 2003

Indexing