Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року)
Доповідь присвячено важливій проблемі створення методів та алгоритмів
 побудови високонадійних систем математичного забезпечення для програмно-технічних комплексів, які використовуються в критичних з точки
 зору безпеки галузях, таких як аерокосмічна, медична, телекомунікаційна,&...
Збережено в:
| Опубліковано в: : | Вісник НАН України |
|---|---|
| Дата: | 2017 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
Видавничий дім "Академперіодика" НАН України
2017
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/114458 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року) / О.А. Летичевський // Вісник Національної академії наук України. — 2017. — № 2. — С. 30-36. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862724471689838592 |
|---|---|
| author | Летичевський, О.А. |
| author_facet | Летичевський, О.А. |
| citation_txt | Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року) / О.А. Летичевський // Вісник Національної академії наук України. — 2017. — № 2. — С. 30-36. — укр. |
| collection | DSpace DC |
| container_title | Вісник НАН України |
| description | Доповідь присвячено важливій проблемі створення методів та алгоритмів
побудови високонадійних систем математичного забезпечення для програмно-технічних комплексів, які використовуються в критичних з точки
зору безпеки галузях, таких як аерокосмічна, медична, телекомунікаційна,
в ядерній енергетиці, у виробництві сучасного озброєння тощо. Процес розроблення високонадійних систем оснований на принципі зменшення ризику або повного виключення неспрацьовування засобів безпеки в системі.
|
| first_indexed | 2025-12-07T18:48:05Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-114458 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0372-6436 |
| language | Ukrainian |
| last_indexed | 2025-12-07T18:48:05Z |
| publishDate | 2017 |
| publisher | Видавничий дім "Академперіодика" НАН України |
| record_format | dspace |
| spelling | Летичевський, О.А. 2017-03-08T14:46:22Z 2017-03-08T14:46:22Z 2017 Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року) / О.А. Летичевський // Вісник Національної академії наук України. — 2017. — № 2. — С. 30-36. — укр. 0372-6436 https://nasplib.isofts.kiev.ua/handle/123456789/114458 Доповідь присвячено важливій проблемі створення методів та алгоритмів
 побудови високонадійних систем математичного забезпечення для програмно-технічних комплексів, які використовуються в критичних з точки
 зору безпеки галузях, таких як аерокосмічна, медична, телекомунікаційна,
 в ядерній енергетиці, у виробництві сучасного озброєння тощо. Процес розроблення високонадійних систем оснований на принципі зменшення ризику або повного виключення неспрацьовування засобів безпеки в системі. uk Видавничий дім "Академперіодика" НАН України Вісник НАН України З кафедри Президії НАН України Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року) Высоконадежные системы математического обеспечения (стенограмма научного доклада на заседании Президиума НАН Украины 7 декабря 2016 года) Highly reliable software systems (Transcript of scientific report at the meeting of the Presidium of NAS of Ukraine, December 7, 2016) Article published earlier |
| spellingShingle | Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року) Летичевський, О.А. З кафедри Президії НАН України |
| title | Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року) |
| title_alt | Высоконадежные системы математического обеспечения (стенограмма научного доклада на заседании Президиума НАН Украины 7 декабря 2016 года) Highly reliable software systems (Transcript of scientific report at the meeting of the Presidium of NAS of Ukraine, December 7, 2016) |
| title_full | Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року) |
| title_fullStr | Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року) |
| title_full_unstemmed | Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року) |
| title_short | Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року) |
| title_sort | високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні президії нан україни 7 грудня 2016 року) |
| topic | З кафедри Президії НАН України |
| topic_facet | З кафедри Президії НАН України |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/114458 |
| work_keys_str_mv | AT letičevsʹkiioa visokonadíinísistemimatematičnogozabezpečennâstenogramanaukovoídopovídínazasídanníprezidíínanukraíni7grudnâ2016roku AT letičevsʹkiioa vysokonadežnyesistemymatematičeskogoobespečeniâstenogrammanaučnogodokladanazasedaniiprezidiumananukrainy7dekabrâ2016goda AT letičevsʹkiioa highlyreliablesoftwaresystemstranscriptofscientificreportatthemeetingofthepresidiumofnasofukrainedecember72016 |