Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
артефакт
артефакт кіберзахисту
Документи:
Давидюк, А. В.
Застосування логіки предикатів для верифікації артефактів кіберзахисту під час проектування систем критичного призначення [Текст] / А. В. Давидюк, В. Ю. Зубок // Реєстрація, зберігання і обробка даних. – 2021. – Т. 23, № 4. – С. 37-46.
Інформаційно-пошукова система
'УФД/Бібліотека'
