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