Author:
Farooqui Ashfaq,Bengtsson Kristofer,Falkman Petter,Fabian Martin
Subject
Industrial and Manufacturing Engineering
Reference35 articles.
1. Design Principles for Industrie 4.0 Scenarios;Hermann;2016 49th Hawaii International Conference on System Sciences (HICSS),2016
2. Formal Methods in Manufacturing;Campos,2014
3. Formal Methods in PLC Programming;Frey;2000 IEEE International Conference on Systems, Man, and Cybernetics, vol. 4,2000
4. Integrated Virtual Preparation and Commissioning: Supporting Formal Methods During Automation Systems Development;Dahl;IFAC-PapersOnLine,2016
5. Virtual Reality Commissioning in Production Systems Preparation;Dahl;22nd IEEE International Conference on Emerging Technologies and Factory Automation,2017
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献