Login / Signup
Radimir Sorokin
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Predicate Calculus
Execution Traces
Formal Models
Control Problems
Top Venues
INDIN
ISIE
</>
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)