Запрошуємо Вас приєднатися до чергового засідання семінару КриКТехС, який відбудеться 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