Tatiana Liakh, Radimir Sorokin, Daniil Akifev, Sandeep Patil, Valeriy Vyatkin. Formal model of IEC 61499 execution trace in FBME IDE. In 20th IEEE International Conference on Industrial Informatics, INDIN 2022, Perth, Australia, July 25-28, 2022. pages 588-593, IEEE, 2022. [doi]
Abstract is missing.