A Formal Validation Approach for Holonic Control System Specifications

 
EPrints.org
Agentlink Clearinghouse is powered by GNU EPrints developed by the School of Electronics and Computer Science of the University of Southampton.
Type: Book

Leitão, P. and Colombo, A.W. and Restivo, F. (2003) A Formal Validation Approach for Holonic Control System Specifications. Proceedings of the 9th IEEE International Conference on Emerging Technologies and Factory Automation. .

Full text not available from this archive.

Deposited by Mr Mariusz Jacyno on 25 April 2005

Archive Staff Only: edit this record

   

AgentLink is the European Commission's IST-funded Coordination Action for Agent-Based Computing
and is coordinated by the
University of Liverpool and University of Southampton
If you encounter any problems with these pages please contact web@agentlink.org.