|
|
Publications in Math-Net.Ru |
Citations |
|
2016 |
1. |
A. D. Ermakov, N. V. Yevtushenko, “Deriving test suites with the guaranteed fault coverage for extended finite state machines”, Model. Anal. Inform. Sist., 23:6 (2016), 729–740 |
2
|
2. |
A. D. Ermakov, N. V. Evtushenko, “Deriving adaptive checking sequence for nondeterministic Finite State Machines”, Proceedings of ISP RAS, 28:3 (2016), 123–144 |
|
Organisations |
|
|