E. Darusenkova

According to our database, E. Darusenkova authored at least 1 paper in 2016.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2016

Towards parallel composition of partial finite state machines: Checking safety property step-by-step.

E. Darusenkova, Natalia Shabaldina

Proceedings of the 2016 IEEE East-West Design & Test Symposium, 2016