Назва публікації | Автори публікації | Назва журналу | Рік / Випуск |
---|---|---|---|
Исследование динамики обнаружения уязвимостей в программных компонентах с использованием логистической кривой. | Е.И. Неткачёва | Системи обробки інформації | 2012 / № 3 |
Доказательство и обеспечение безопасности с использованием формальных нотаций. | Е.И. Неткачёва, В.С. Харченко | Системи озброєння і військова техніка | 2011 / № 3 |