2025-02-22T17:12:59-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-114458%22&qt=morelikethis&rows=5
2025-02-22T17:12:59-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-114458%22&qt=morelikethis&rows=5
2025-02-22T17:12:59-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-22T17:12:59-05:00 DEBUG: Deserialized SOLR response
Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року)

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

Доповідь присвячено важливій проблемі створення методів та алгоритмів побудови високонадійних систем математичного забезпечення для програмно-технічних комплексів, які використовуються в критичних з точки зору безпеки галузях, таких як аерокосмічна, медична, телекомунікаційна, в ядерній енергетиц...

Full description

Saved in:
Bibliographic Details
Main Author: Летичевський, О.А.
Format: Article
Language:Ukrainian
Published: Видавничий дім "Академперіодика" НАН України 2017
Series:Вісник НАН України
Subjects:
З кафедри Президії НАН України
Online Access:http://dspace.nbuv.gov.ua/handle/123456789/114458
Tags: Add Tag
No Tags, Be the first to tag this record!
id irk-123456789-114458
record_format dspace
spelling irk-123456789-1144582017-03-09T03:02:16Z Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року) Летичевський, О.А. З кафедри Президії НАН України Доповідь присвячено важливій проблемі створення методів та алгоритмів побудови високонадійних систем математичного забезпечення для програмно-технічних комплексів, які використовуються в критичних з точки зору безпеки галузях, таких як аерокосмічна, медична, телекомунікаційна, в ядерній енергетиці, у виробництві сучасного озброєння тощо. Процес розроблення високонадійних систем оснований на принципі зменшення ризику або повного виключення неспрацьовування засобів безпеки в системі. 2017 Article Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року) / О.А. Летичевський // Вісник Національної академії наук України. — 2017. — № 2. — С. 30-36. — укр. 0372-6436 http://dspace.nbuv.gov.ua/handle/123456789/114458 uk Вісник НАН України Видавничий дім "Академперіодика" НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Ukrainian
topic З кафедри Президії НАН України
З кафедри Президії НАН України
spellingShingle З кафедри Президії НАН України
З кафедри Президії НАН України
Летичевський, О.А.
Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року)
Вісник НАН України
description Доповідь присвячено важливій проблемі створення методів та алгоритмів побудови високонадійних систем математичного забезпечення для програмно-технічних комплексів, які використовуються в критичних з точки зору безпеки галузях, таких як аерокосмічна, медична, телекомунікаційна, в ядерній енергетиці, у виробництві сучасного озброєння тощо. Процес розроблення високонадійних систем оснований на принципі зменшення ризику або повного виключення неспрацьовування засобів безпеки в системі.
format Article
author Летичевський, О.А.
author_facet Летичевський, О.А.
author_sort Летичевський, О.А.
title Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року)
title_short Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року)
title_full Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року)
title_fullStr Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року)
title_full_unstemmed Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року)
title_sort високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні президії нан україни 7 грудня 2016 року)
publisher Видавничий дім "Академперіодика" НАН України
publishDate 2017
topic_facet З кафедри Президії НАН України
url http://dspace.nbuv.gov.ua/handle/123456789/114458
citation_txt Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 року) / О.А. Летичевський // Вісник Національної академії наук України. — 2017. — № 2. — С. 30-36. — укр.
series Вісник НАН України
work_keys_str_mv AT letičevsʹkijoa visokonadíjnísistemimatematičnogozabezpečennâstenogramanaukovoídopovídínazasídanníprezidíínanukraíni7grudnâ2016roku
first_indexed 2023-10-18T20:24:46Z
last_indexed 2023-10-18T20:24:46Z
_version_ 1796150087134478336

Similar Items