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