Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением
Громов Максим Леонидович. Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением : диссертация ... кандидата физико-математических наук : 05.13.01 / Громов Максим Леонидович; [Место защиты: Том. гос. ун-т].- Томск, 2009.- 154 с.: ил. РГБ ОД, 61 10-1/211
