Райчев, І.Е.; Харченко, О.Г.
(2004)
В статті розглянуті питання побудови процедури сертифікації ПЗ автоматизованих систем контролю, як одного з класів
критичних програмних систем, для яких сертифікація відповідності є обов'язковою. Розроблені методи ...