Семинар "Информационные технологии и системы"

23 декабря 2019 г. (понедельник), 14:30, конференц-зал ИАиЭ СО РАН

Тема семинара:

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

Докладчик: Лях Татьяна Викторовна ИАиЭ СО РАН (Новосибирск)

Страница семинара