TY  - GEN
AU  - Мануилов,Вячеслав Андреевич
AU  - Шабалдина,Наталия Владимировна
TI  - Автоматизация проверки лабораторных работ по тестированию дискретных систем на основе формальных моделей
KW  - тестирование дискретных систем
KW  - онлайн-курсы
KW  - модели конечных автоматов
KW  - системы автоматического оценивания и проверки
KW  - формальные модели
KW  - статьи в сборниках
N1  - Библиогр.: 2 назв
UR  - http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000793163
ER  -