Shabaldina Nataliya Vladimirovna

Publications in Math-Net.Ru

1. Experiments on parallel composition of timed finite state machines
   
   Proceedings of ISP RAS, 29:3 (2017),  233–246
2. Using BALM-II for deriving cascade parallel composition of timed finite state machines
   
   Model. Anal. Inform. Sist., 23:6 (2016),  715–728
3. Test suites derivation for nondeterministic finite state mashines with respect to the separability relation
   
   Prikl. Diskr. Mat., 2009, no. supplement № 1,  63–65
4. Test suites derivation for nondeterministic finite state mashines with respect to the separability relation
   
   Prikl. Diskr. Mat., 2009, no. 3(5),  106–111