Доповідь Сергія Богомолова 21.12 в 13:30. ауд. 511
Сергій Богомолов виступить з доповіддю на нашому семінарі 21.12 о 13:30. аудитория: 511
Тема його доповіді: "Верифікація кібер-фізичних систем"
Інформація про доповідача:
Сергій Богомолов
http://www.sergiybogomolov.com
Cyber-Physical Systems Laboratory
Research School of Computer Science College of Engineering and
Computer Science Australian National University
