Publisher
Springer Nature Switzerland
Reference45 articles.
1. Function Blocks for Industrial Process Measurement and Control Systems, IEC 61499 Standard. International Electrotechnical Commission, Tech. Comm. 65, Working group 6, Geneva (2005)
2. Visual verifier (2008). http://www.fb61499.com/license.html
3. Čengić, G., Åkesson, K.: A control software development method using IEC 61499 function blocks, simulation and formal verification. IFAC Proc. Volumes 41(2), 22–27 (2008)
4. Cengic, G., Akesson, K.: Definition of the execution model used in the fuber IEC 61499 runtime environment. In: 2008 6th IEEE International Conference on Industrial Informatics, pp. 301–306. IEEE (2008)
5. Cengic, G., Ljungkrantz, O., Akesson, K.: Formal modeling of function block applications running in IEC 61499 execution runtime. In: 2006 IEEE Conference on Emerging Technologies and Factory Automation, pp. 1269–1276. IEEE (2006)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献