Семинар лаборатории ПОИС: «Временные автоматы (Timed Automata)» // Ю. Новикова
В понедельник 11 февраля 2013 г. в 18:30 состоялось очередное заседание семинара лаборатории ПОИС, посвященное вопросам временных автоматов.
Слушался доклад магистранта Отделения программной инженерии НИУ ВШЭ Ю. Новиковой по теме «Временные автоматы (Timed Automata)».
Временные автоматы — популярное средство для моделирования и верификации систем реального времени.
В докладе были рассмотрены семантические и алгоритмические аспекты верификации временных автоматов.
Семинар проходил в режиме онлайн-конференции со специалистами кампуса НИУ ВШЭ в Нижнем Новгороде.
Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.