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

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

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

Цитировать