Формальная верификация окружения времени выполнения робототехнической системы [2016]

Автор: Никольский Кирилл Андреевич

Руководитель: Терехов Андрей Николаевич

Направление: Математическое обеспечение и администрирование информационных систем (бакалавриат)

К архиву практик и ВКР