Статья

Шатров В.В. (науч. рук. Чивилихин Д.С.) Верификация программ управления киберфизическими системами с временными штампами
УДК тезиса: 004.4'242

В работе рассматривается генерация формальных моделей для промышленных систем управления на основе функциональных блоков с временными штампами.

Авторы:

Шатров Виктор Валерьевич

Руководитель:

Чивилихин Даниил Сергеевич

Шатров В.В. (науч. рук. Чивилихин Д.С.) Верификация программ управления киберфизическими системами с временными штампами // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2019]. URL: https://kmu.itmo.ru/digests/article/113