Пошук
Зараз показуються 1-1 з 1
Оценка эффективности независимой верификации программного обеспечения
(ХАИ, 2004)
Излагается методика оценки эффективности независимой верификации ПО информационно-управляющих систем критического применения на основе статического анализа исходных кодов ПО с использованием семантического метода оценки ...