Daniil Akifev

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Predicate Calculus

Execution Traces

Control Problems

Top Venues

Publications

Daniil Akifev, Tatiana Liakh, Polina Ovsiannikova, Radimir Sorokin, Valeriy Vyatkin
Debugging approach for IEC 61499 control applications in FBME. ISIE (2023)
Tatiana Liakh, Radimir Sorokin, Daniil Akifev, Sandeep Patil, Valeriy Vyatkin
Formal model of IEC 61499 execution trace in FBME IDE. INDIN (2022)