Динамическая верификация процесс-ориентированных программ управления киберфизическими системами

Диссертация студента: ДиссертацияКандидатская диссертация

Аннотация

Дата присуждения28 дек 2020
Язык оригиналарусский
Учреждение
  • Федеральное государственное бюджетное учреждение науки Институт автоматики и электрометрии Сибирского отделения Российской академии наук
РуководительВладимир Евгеньевич Зюбин (Научный руководитель)

Цитировать

'