Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року)
Доповідь присвячено важливій проблемі створення методів та алгоритмів побудови високонадійних систем математичного забезпечення для програмно-технічних комплексів, які використовуються в критичних з точки зору безпеки галузях, таких як аерокосмічна, медична, телекомунікаційна, в ядерній енергетиц...
Saved in:
| Published in: | Вісник НАН України |
|---|---|
| Date: | 2017 |
| Main Author: | |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Видавничий дім "Академперіодика" НАН України
2017
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/114458 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року) / О.А. Летичевський // Вісник Національної академії наук України. — 2017. — № 2. — С. 30-36. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-114458 |
|---|---|
| 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 |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року) |
| spellingShingle |
Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року) Летичевський, О.А. З кафедри Президії НАН України |
| title_short |
Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року) |
| title_full |
Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року) |
| title_fullStr |
Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року) |
| title_full_unstemmed |
Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року) |
| title_sort |
високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні президії нан україни 7 грудня 2016 року) |
| author |
Летичевський, О.А. |
| author_facet |
Летичевський, О.А. |
| topic |
З кафедри Президії НАН України |
| topic_facet |
З кафедри Президії НАН України |
| publishDate |
2017 |
| language |
Ukrainian |
| container_title |
Вісник НАН України |
| publisher |
Видавничий дім "Академперіодика" НАН України |
| format |
Article |
| 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) |
| description |
Доповідь присвячено важливій проблемі створення методів та алгоритмів
побудови високонадійних систем математичного забезпечення для програмно-технічних комплексів, які використовуються в критичних з точки
зору безпеки галузях, таких як аерокосмічна, медична, телекомунікаційна,
в ядерній енергетиці, у виробництві сучасного озброєння тощо. Процес розроблення високонадійних систем оснований на принципі зменшення ризику або повного виключення неспрацьовування засобів безпеки в системі.
|
| issn |
0372-6436 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/114458 |
| citation_txt |
Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року) / О.А. Летичевський // Вісник Національної академії наук України. — 2017. — № 2. — С. 30-36. — укр. |
| 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 |
| first_indexed |
2025-12-07T18:48:05Z |
| last_indexed |
2025-12-07T18:48:05Z |
| _version_ |
1850876399867396096 |