Author:
Lee Seungjoo,Tilbury Dawn M.
Publisher
Springer Science and Business Media LLC
Subject
Industrial and Manufacturing Engineering,Management Science and Operations Research
Reference25 articles.
1. Ang M, Harrison R, Lee J, Lee L, Lee S, Tilbury D (2007) A comparison study of automatic logic control generation tools for industrial manufacturing control systems. In Proceedings of the Conference on Agile, Reconfigurable and Virtual Manufacturing Systems (CARV), pp 844–859, Toronto, Canada
2. Berard B et al (2001) Systems and software verification: model-checking techniques and tools. Springer-Verlag, New York
3. Castillo I, Smith JS (2002) Formal modeling methodologies for control of manufacturing cells: survey and comparison. J Manuf Syst 21(1):40–57
4. Chan FTS, Chan HK (2004) A comprehensive survey and future trend of simulation study on FMS scheduling. J Intell Manuf 15:87–102
5. Chung S, Jeng M (2004) Fabulous MESs and C/Cs. IEEE Robot Autom Mag, 8–18
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献