Новости

Научного полку прибыло

Поздравляем Чурину Татьяну Геннадьевну с блестящей защитой 15 декабря 2000 г. кандидатской диссертации на тему "Моделирование и валидация коммуникационных протоколов, представленных на языках ESTELLE и SDL, с помощью сетей Петри высокого уровня".