Семинар лаборатории ПОИС: «Алгоритм булевой верификации (АБВ) потоков работ. Эквивалентные преобразования потоков работ» // А. Каленкова

В понедельник (29 апреля) состоялось очередное заседание научного семинара лаборатории.

С докладом по теме «Алгоритм булевой верификации (АБВ) потоков работ. Эквивалентные преобразования потоков работ» выступила научный сотрудник МЛПОИС Анна Каленкова (к.ф.-м.н.).

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