| |
Харченко, В. С.
Оценка верификации критического программного обеспечения: критерии, модели и реализация [Текст] / В. С. Харченко, С. А. Вилкомир
// Управляющие системы и машины. – 2003. – № 6. – 60-68.
Предложен общий подход к оценке верификации программного обеспечения компьютерных систем, используемых в технических комплексах критического применения |
