Построение, моделирование и верификация ПЛК-программ по LTL-спецификации.


Построение, моделирование и верификация ПЛК-программ по LTL-спецификации.

Рябухин Дмитрий Александрович (аспирант кафедры теоретической информатики ЯрГУ , научн. рук. Кузьмин Е.В.). Начало семинара - 18 сентября 2014 г.

Семинар группы

Технологии программирования

Перейти к списку семинаров ИСП РАН