MANUFACTURING GAME: A FORMAL APPROACH TO MANUFACTURING SOFTWARE.

被引:0
|
作者
Naylor, Arch W. [1 ]
Maletz, Mark C. [1 ]
机构
[1] Univ of Michigan, Ann Arbor, MI, USA, Univ of Michigan, Ann Arbor, MI, USA
来源
关键词
D O I
10.1109/tsmc.1986.4308964
中图分类号
学科分类号
摘要
12
引用
收藏
页码:321 / 334
相关论文
共 50 条
  • [1] THE MANUFACTURING GAME - A FORMAL APPROACH TO MANUFACTURING SOFTWARE
    NAYLOR, AW
    MALETZ, MC
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1986, 16 (03): : 321 - 334
  • [2] WHAT'S NEW IN MANUFACTURING SOFTWARE.
    Krepchin, Ira P.
    Modern Materials Handling, 1987, 42 (12) : 91 - 94
  • [3] DESIGN OF INTEGRATED MANUFACTURING SYSTEM CONTROL SOFTWARE.
    Naylor, Arch W.
    Volz, Richard A.
    IEEE Transactions on Systems, Man and Cybernetics, 1987, SMC-17 (06): : 881 - 897
  • [5] A formal verification technique for embedded software.
    Thiry, O
    Claesen, L
    INTERNATIONAL CONFERENCE ON COMPUTER DESIGN - VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 1996, : 352 - 357
  • [6] An evolutionary game approach for manufacturing service allocation management in cloud manufacturing
    Wang, Tianri
    Li, Chao
    Yuan, Yanhong
    Liu, Juan
    Adeleke, Issa B.
    COMPUTERS & INDUSTRIAL ENGINEERING, 2019, 133 : 231 - 240
  • [7] On a game in manufacturing
    Baston, VJ
    Garnaev, AY
    MATHEMATICAL METHODS OF OPERATIONS RESEARCH, 2000, 52 (02) : 237 - 249
  • [8] On a game in manufacturing
    V. J. Baston
    A. Y. Garnaev
    Mathematical Methods of Operations Research, 2000, 52 : 237 - 249
  • [9] MODULAR APPROACH TO 16000 SOFTWARE.
    Winch, Dave
    New Electronics, 1984, 17 (04): : 29 - 31
  • [10] Methodological approach to manufacturing simulation software selection
    Hlupic, V
    Paul, RJ
    COMPUTER INTEGRATED MANUFACTURING SYSTEMS, 1996, 9 (01): : 49 - 55