Login / Signup
E. Darusenkova
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Monitoring System
Parallel Processing
Consistency Checking
Finite State Machines
Top Venues
EWDTS
</>
Publications
</>
E. Darusenkova
,
Natalia Shabaldina
Towards parallel composition of partial finite state machines: Checking safety property step-by-step.
EWDTS
(2016)