Sign in
Tatiana Liakh
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Predicate Calculus
Execution Traces
Formal Models
Control Problems
Top Venues
ISIE
INDIN
</>
Publications
</>
Daniil Akifev
,
Tatiana Liakh
,
Polina Ovsiannikova
,
Radimir Sorokin
,
Valeriy Vyatkin
Debugging approach for IEC 61499 control applications in FBME.
ISIE
(2023)
Tuojian Lyu
,
Nikolai Galkin
,
Tatiana Liakh
,
Chen-Wei Yang
,
Valeriy Vyatkin
Methods of data streaming from IEC 61499 applications to Cloud storages.
ISIE
(2023)
Tatiana Liakh
,
Radimir Sorokin
,
Daniil Akifev
,
Sandeep Patil
,
Valeriy Vyatkin
Formal model of IEC 61499 execution trace in FBME IDE.
INDIN
(2022)