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

by Мануилов, Вячеслав Андреевич
Published in Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.