14 сентября 2004 г. в 15 часов в к.237 состоятся защиты следующих диссертаций на соискание степени кандидата физико-математических наук:
- В.Е. Козюра "Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных
систем"
Научный руководитель: к.ф.-м.н. Непомнящий В.А.
Официальные оппоненты: д.ф.-м.н. Ломазова И.А., к.ф.-м.н. Викентьев А.А.
Ведущая организация - Ярославский государственный университет. - Е.В. Окунишникова "Моделирование Estelle-спецификаций распределенных систем с помощью раскрашенных сетей Петри"
Научный руководитель: к.ф.-м.н. Непомнящий В.А.
Официальные оппоненты: д.ф.-м.н. Ломазова И.А., к.ф.-м.н. Скопин И.Н.
Ведущая организация - Ярославский государственный университет.