Timed automata on modelling IEC 61131-3 function blocks

Joel Galvao, Camelia Avram. Timed automata on modelling IEC 61131-3 function blocks. In International Conference on Engineering, Technology and Innovation, ICE/ITMC 2017, Madeira Island, Portugal, June 27-29, 2017. pages 799-806, IEEE, 2017. [doi]

Abstract

Abstract is missing.