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

Скорочена інформація про документ
dc.contributor.authorЛетичевський, О.А.
dc.date.accessioned2017-03-08T14:46:22Z
dc.date.available2017-03-08T14:46:22Z
dc.date.issued2017
dc.description.abstractДоповідь присвячено важливій проблемі створення методів та алгоритмів побудови високонадійних систем математичного забезпечення для програмно-технічних комплексів, які використовуються в критичних з точки зору безпеки галузях, таких як аерокосмічна, медична, телекомунікаційна, в ядерній енергетиці, у виробництві сучасного озброєння тощо. Процес розроблення високонадійних систем оснований на принципі зменшення ризику або повного виключення неспрацьовування засобів безпеки в системі.uk_UA
dc.identifier.citationВисоконадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року) / О.А. Летичевський // Вісник Національної академії наук України. — 2017. — № 2. — С. 30-36. — укр.uk_UA
dc.identifier.issn0372-6436
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/114458
dc.language.isoukuk_UA
dc.publisherВидавничий дім "Академперіодика" НАН Україниuk_UA
dc.relation.ispartofВісник НАН України
dc.statuspublished earlieruk_UA
dc.subjectЗ кафедри Президії НАН Україниuk_UA
dc.titleВисоконадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року)uk_UA
dc.title.alternativeВысоконадежные системы математического обеспечения (стенограмма научного доклада на заседании Президиума НАН Украины 7 декабря 2016 года)uk_UA
dc.title.alternativeHighly reliable software systems (Transcript of scientific report at the meeting of the Presidium of NAS of Ukraine, December 7, 2016)uk_UA
dc.typeArticleuk_UA

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
05-Letichevsky.pdf
Розмір:
418.09 KB
Формат:
Adobe Portable Document Format
Завантажити

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
817 B
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекція

Вісник НАН України, 2017, № 02