Наукова періодика України Вісник Національної академії наук України


Летичевський О. А. 
Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 р.) / О. А. Летичевський // Вісник Національної академії наук України. - 2017. - № 2. - С. 30-36. - Режим доступу: http://nbuv.gov.ua/UJRN/vnanu_2017_2_7
Доповідь присвячено важливій проблемі створення методів та алгоритмів побудови високонадійних систем математичного забезпечення для програмно-технічних комплексів, які використовуються в критичних з точки зору безпеки галузях, таких як аерокосмічна, медична, телекомунікаційна, в ядерній енергетиці, у виробництві сучасного озброєння тощо. Процес розроблення високонадійних систем оснований на принципі зменшення ризику або повного виключення неспрацьовування засобів безпеки в системі.
  Повний текст PDF - 428.121 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Летичевський О.

  • Бібліографічний опис для цитування:

    Летичевський О. А. Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 р.) / О. А. Летичевський // Вісник Національної академії наук України. - 2017. - № 2. - С. 30-36. - Режим доступу: http://nbuv.gov.ua/UJRN/vnanu_2017_2_7.

      Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського