共 50 条
- [2] Specification and synthesis of control software for flexible manufacturing systems [J]. SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 1703 - 1708
- [5] Modeling the control of a flexible manufacturing cell for automatic verification and control program generation [J]. International Journal of Flexible Manufacturing Systems, 2006, 18 : 191 - 208
- [6] Modeling the control of a flexible manufacturing cell for automatic verification and control program generation [J]. INTERNATIONAL JOURNAL OF FLEXIBLE MANUFACTURING SYSTEMS, 2006, 18 (03): : 191 - 208
- [7] A formal approach for the specification, verification and control of flexible manufacturing systems [J]. ETFA 2007: 12TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOLS 1-3, 2007, : 1031 - +