Number of items: 2.
Leitão, P. and Colombo, A.W. and Restivo, F.
A Formal Validation Approach for Holonic Control System Specifications.
Proceedings of the 9th IEEE International Conference on Emerging Technologies and Factory Automation.
Leitão, P. and Colombo, A.W. and Restivo, F. and Schoop, R.
Formal Specification of Holonic Control System ADACOR, using High-Level Petri Nets.
Proceedings of the First IEEE International Conference on Industrial Information (INDIN2003).
This list was generated on Mon Sep 10 16:42:17 BST 2007.