Бессонов Алексей Владимирович
Диссертация на соискание ученой степени кандидата технических наук
Название диссертации:
«Символьная спецификация и анализ программных моделей гибридных систем»
Специальность:
05.13.11 - «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей»
Научный руководитель:
Шорников Юрий Владимирович, доктор технических наук, доцент
Диссертационный совет: Д.212.173.06
Замечания и предложения по диссертации направлять Марченко Андрею Ивановичу, заведующему сектором диссертационных советов по эл. почте: