Информатика, вычислительная техника и управление. Диссертация Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением : диссертация ... кандидата физико-математических наук : 05.13.01, Томск, 2009