Приглашаем Вас присоединиться к очередному заседанию семинара КриКТехС, которое состоится 14 апреля 2023 в 15:30 в формате онлайн. Тема семинара: методы и технологии разработки и формальной верификации железнодорожных систем автоматики и безопасности.

Докладчики:
🔹Гаевский Виталий (к.т.н., директор RAILWAYAUTOMATIC®, г.Харьков)
🔸 Alexei Iliasov (Director of Formal Route Ltd, Newcastle, Great Britain)

Ссылки в Google Meet: https://meet.google.com/coh-ieee-pfr
Прямая трансляция: video.csn.khai.edu