Login / Signup
Viktor Shatrov
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 2
Top Topics
Formal Verification
Petri Net
Model Checking
Temporal Logic
Top Venues
DoCEIS
INDIN
</>
Publications
</>
Viktor Shatrov
,
Valeriy Vyatkin
Promela Formal Modelling and Verification of IEC 61499 Systems with comparison to SMV.
INDIN
(2021)
Viktor Shatrov
,
Valeriy Vyatkin
Formal Verification of IEC 61499 Enhanced with Timed Events.
DoCEIS
(2020)