Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року)

• Published in: Вісник НАН України
• Date: 2017
• Main Author: Летичевський, О.А.
• Format: Article
• Language: Ukrainian
• Published: Видавничий дім "Академперіодика" НАН України 2017
• Subjects: З кафедри Президії НАН України
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/114458
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року) / О.А. Летичевський // Вісник Національної академії наук України. — 2017. — № 2. — С. 30-36. — укр.

Доповідь присвячено важливій проблемі створення методів та алгоритмів
 побудови високонадійних систем математичного забезпечення для програмно-технічних комплексів, які використовуються в критичних з точки
 зору безпеки галузях, таких як аерокосмічна, медична, телекомунікаційна,&...