Formal model of IEC 61499 execution trace in FBME IDE.

Tatiana Liakh, Radimir Sorokin, Daniil Akifev, Sandeep Patil, Valeriy Vyatkin

Browse the full INDIN paper archive.