Ермаков Антон Дмитриевич

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

1. Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата
   
   Модел. и анализ информ. систем, 23:6 (2016),  729–740
2. К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов
   
   Труды ИСП РАН, 28:3 (2016),  123–144