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

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