Шабалдина Наталия Владимировна

Публикации в базе данных Math-Net.Ru

1. Experiments on parallel composition of timed finite state machines
   
   Труды ИСП РАН, 29:3 (2017),  233–246
2. Построение каскадной параллельной композиции временных автоматов с использованием BALM-II
   
   Модел. и анализ информ. систем, 23:6 (2016),  715–728
3. К построению проверяющих тестов относительно неразделимости для недетерминированных автоматов
   
   ПДМ, 2009, № приложение к № 1,  63–65
4. К построению проверяющих тестов относительно неразделимости для недетерминированных автоматов
   
   ПДМ, 2009, № 3(5),  106–111