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

Student thesis: Science thesis › Doctoral Thesis

Date of Award28 Dec 2020
Original languageRussian
Awarding Institution
  • RAS - Institute of Automation and Electrometry of SB
SupervisorВладимир Евгеньевич Зюбин (Supervisor)

Cite this

'