Белошапко Георгий Алексеевич

Группа: 
13161
Статус: 
Магистр
Тема работы: 

Применение сетей Петри высокого уровня для верификации коммуникационных протоколов

Научный руководитель : 
Рецензент: 
Грибовская Наталия Сергеевна, к.ф.-м.н., н.с. ИСИ СО РАН
Дата защиты: 
ГАК: 
2 - подкомиссия 2
Оценка государственной аттестационной комиссии: 
Отлично
Рекомендации: 
Аспирантура