|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2016 |
1. |
А. Д. Ермаков, Н. В. Евтушенко, “Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата”, Модел. и анализ информ. систем, 23:6 (2016), 729–740 |
2
|
2. |
А. Д. Ермаков, Н. В. Евтушенко, “К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов”, Труды ИСП РАН, 28:3 (2016), 123–144 |
|