共 50 条
- [21] Completeness in formal specification language design for process-control systems Proceedings of the Workshop on Formal Methods in Software Practice, 2000, : 75 - 87
- [24] MONITORING PROCESS-CONTROL SYSTEMS ADVANCES IN ENGINEERING SOFTWARE AND WORKSTATIONS, 1990, 12 (03): : 129 - 132
- [25] SYSTEMS OF PROCESS-CONTROL IN EXTRUSION KUNSTSTOFFE-GERMAN PLASTICS, 1988, 78 (10): : 936 - 941
- [26] EXPERT SYSTEMS FOR PROCESS-CONTROL ELECTRONICS INFORMATION & PLANNING, 1988, 16 (03): : 121 - 129