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

ФИО выпускникаНикольский Кирилл Андреевич
Направление подготовки (специальность)02.03.03 Математическое обеспечение и администрирование информационных систем
КвалификацияБакалавр
Наименование ВКРФормальная верификация окружения времени выполнения робототехнической системы
СтатусОпубликована
ФИО научного руководителядоктор физико-математических наук, профессор А.Н.Терехов
Год2016