Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року)
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року)
|
|
| Creator |
Летичевський, О.А.
|
|
| Subject |
З кафедри Президії НАН України
|
|
| Description |
Доповідь присвячено важливій проблемі створення методів та алгоритмів побудови високонадійних систем математичного забезпечення для програмно-технічних комплексів, які використовуються в критичних з точки зору безпеки галузях, таких як аерокосмічна, медична, телекомунікаційна, в ядерній енергетиці, у виробництві сучасного озброєння тощо. Процес розроблення високонадійних систем оснований на принципі зменшення ризику або повного виключення неспрацьовування засобів безпеки в системі. |
|
| Date |
2017-03-08T14:46:22Z
2017-03-08T14:46:22Z 2017 |
|
| Type |
Article
|
|
| Identifier |
Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року) / О.А. Летичевський // Вісник Національної академії наук України. — 2017. — № 2. — С. 30-36. — укр.
0372-6436 http://dspace.nbuv.gov.ua/handle/123456789/114458 |
|
| Language |
uk
|
|
| Relation |
Вісник НАН України
|
|
| Publisher |
Видавничий дім "Академперіодика" НАН України
|
|