• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Семинар лаборатории ПОИС: «Временные автоматы (Timed Automata)» // Ю. Новикова

В понедельник 11 февраля 2013 г. в 18:30 состоялось очередное заседание семинара лаборатории ПОИС, посвященное вопросам временных автоматов.  

Слушался доклад магистранта Отделения программной инженерии НИУ ВШЭ Ю. Новиковой по теме «Временные автоматы (Timed Automata)».

Временные автоматы — популярное средство для моделирования и верификации систем реального времени.
В докладе были рассмотрены семантические и алгоритмические аспекты верификации временных автоматов.

Семинар проходил в режиме онлайн-конференции со специалистами кампуса НИУ ВШЭ в Нижнем Новгороде.



 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!