|
|
Publications in Math-Net.Ru |
Citations |
|
2017 |
1. |
A. P. Sotnikov, N. V. Shabaldina, M. L. Gromov, “Experiments on parallel composition of timed finite state machines”, Proceedings of ISP RAS, 29:3 (2017), 233–246 |
2
|
|
2016 |
2. |
M. L. Gromov, N. V. Shabaldina, “Using BALM-II for deriving cascade parallel composition of timed finite state machines”, Model. Anal. Inform. Sist., 23:6 (2016), 715–728 |
1
|
|
2009 |
3. |
E. A. Aken'shina, N. V. Shabaldina, “Test suites derivation for nondeterministic finite state mashines with respect to the separability relation”, Prikl. Diskr. Mat., 2009, no. supplement № 1, 63–65 |
4. |
E. A. Akenshina, N. V. Shabaldina, “Test suites derivation for nondeterministic finite state mashines with respect to the separability relation”, Prikl. Diskr. Mat., 2009, no. 3(5), 106–111 |
|
Organisations |
|
|