|
Number of items: 2.
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.
.
Leitão, P. and Colombo, A.W. and Restivo, F. and Schoop, R.
(2003)
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.
|
