Летичевський, О.А.
(Вісник НАН України, 2017)
Доповідь присвячено важливій проблемі створення методів та алгоритмів
побудови високонадійних систем математичного забезпечення для програмно-технічних комплексів, які використовуються в критичних з точки
зору безпеки ...