Информатика, вычислительная техника и управление. Диссертация Оптимизационные методы формирования мультиверсионного программного обеспечения критичных по надежности систем управления : диссертация ... кандидата технических наук : 05.13.01, Красноярск, 2002