Автоматизация проверки лабораторных работ по тестированию дискретных систем на основе формальных моделей

Авторы автор Мануилов В. (Студент), автор Шабалдина Н. В. (Сотрудник)
Тип Статья в сборнике материалов конференций, симпозиумов и др.
Год 2020
Язык русский
Отдел Радиофизический факультет, каф. информационных технологий в исследовании дискретных структур (РФФ)
Библиографическая запись Мануилов В.А., Шабалдина Н.В. Автоматизация проверки лабораторных работ по тестированию дискретных систем на основе формальных моделей //Новые информационные технологии в исследовании сложных структур: материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г. Томск: Издательский Дом Томского государственного университета, 2020. С. 139.
Направление науки
УДК
Ссылка на экземпляр в электронной библиотеке http://chamo.lib.tsu.ru/lib/item?id=chamo:793163