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