Search results

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

  Author: Лях, Т. В., 28 Dec 2020

  Supervisor: Зюбин, В. Е. (Supervisor)

  Student thesis: Science thesis › Doctoral Thesis