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

Student thesis: Science thesisDoctoral Thesis

Abstract

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

Cite this

'