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

Домашня сторінка
→
Загальнонаукова періодика
→
Вісник Національної академії наук України
→
Вісник НАН України, 2017
→
Вісник НАН України, 2017, № 02
→
Переглянути статтю

dc.contributor.author	Летичевський, О.А.
dc.date.accessioned	2017-03-08T14:46:22Z
dc.date.available	2017-03-08T14:46:22Z
dc.date.issued	2017
dc.identifier.citation	Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року) / О.А. Летичевський // Вісник Національної академії наук України. — 2017. — № 2. — С. 30-36. — укр.	uk_UA
dc.identifier.issn	0372-6436
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/114458
dc.description.abstract	Доповідь присвячено важливій проблемі створення методів та алгоритмів побудови високонадійних систем математичного забезпечення для програмно-технічних комплексів, які використовуються в критичних з точки зору безпеки галузях, таких як аерокосмічна, медична, телекомунікаційна, в ядерній енергетиці, у виробництві сучасного озброєння тощо. Процес розроблення високонадійних систем оснований на принципі зменшення ризику або повного виключення неспрацьовування засобів безпеки в системі.	uk_UA
dc.language.iso	uk	uk_UA
dc.publisher	Видавничий дім "Академперіодика" НАН України	uk_UA
dc.relation.ispartof	Вісник НАН України
dc.subject	З кафедри Президії НАН України	uk_UA
dc.title	Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року)	uk_UA
dc.title.alternative	Высоконадежные системы математического обеспечения (стенограмма научного доклада на заседании Президиума НАН Украины 7 декабря 2016 года)	uk_UA
dc.title.alternative	Highly reliable software systems (Transcript of scientific report at the meeting of the Presidium of NAS of Ukraine, December 7, 2016)	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA