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