共 50 条
- [1] THE MANUFACTURING GAME - A FORMAL APPROACH TO MANUFACTURING SOFTWARE IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1986, 16 (03): : 321 - 334
- [3] DESIGN OF INTEGRATED MANUFACTURING SYSTEM CONTROL SOFTWARE. IEEE Transactions on Systems, Man and Cybernetics, 1987, SMC-17 (06): : 881 - 897
- [5] A formal verification technique for embedded software. INTERNATIONAL CONFERENCE ON COMPUTER DESIGN - VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 1996, : 352 - 357
- [10] Methodological approach to manufacturing simulation software selection COMPUTER INTEGRATED MANUFACTURING SYSTEMS, 1996, 9 (01): : 49 - 55