Author:
Galvão Joel,Oliveira Cedrico,Lopes Helena,Tiainen Laura
Publisher
Springer International Publishing
Reference33 articles.
1. Considine, D.M., Considine, G.D.: Standard Handbook of Industrial Automation. Chapman & Hall, New York (1986)
2. Baresi, L., Carmeli, S., Monti, A., Pezzè, M.: PLC programming languages: a formal approach. In: Proceedings of Automation 1998 (1998)
3. Canadas, N., Machado, J., Soares, F.: Simulation of cyber physical systems behaviour using timed plant models. Mechatronics, 0–1 (2017).
https://doi.org/10.1016/j.mechatronics.2017.10.009
4. Chioran, D., Machado, J.M.: Design of a mechatronic system for application of hardware-in-the-loop simulation technique (2011)
5. Enoiu, E.P., Sundmark, D., Pettersson, P.: Model-based test suite generation for function block diagrams using the uppaal model checker. In: 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp 158–167 (2013)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献