BC/NW 2006, №1 (8)

 

14. Модели и методы для оценки надежности ВС

14.1 Каримов У.Р, Дорфман А.В. АВТОМАТИЗАЦИЯ ПОИСКА УЯЗВИМОСТЕЙ В ПРОГРАММНОМ ОБЕСПЕЧЕНИИ