Formal Methods in PLC Control Demonstrated at a Flexible Manufacturing Line
Authors:
Georg Frey
Affiliations:
-
Venue:
BASYS '02 Proceedings of the IFIP TC5/WG5.3 Fifth IFIP/IEEE International Conference on Information Technology for Balanced Automation Systems in Manufacturing and Services: Knowledge and Technology Integration in Production and Services: Balancing Knowledge in Product and Service Life Cycle