Семинар лаборатории ПОИС: Доклады студентов

На заседании семинара лаборатории ПОИС 19-го мая 2014 года в 18:30 с докладами выступили студенты отделения программной инженерии, выполняющие свои работы под руководством сотрудником лаборатории.

Антонина Бегичева - Checking Conformance of High-Level Business Process Models to Event Logs 
Илона Книжникова - Modular construction of Time Petri net reachability graph

подробнее...