2025-02-23T03:28:32-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-84087%22&qt=morelikethis&rows=5
2025-02-23T03:28:32-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-84087%22&qt=morelikethis&rows=5
2025-02-23T03:28:32-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T03:28:32-05:00 DEBUG: Deserialized SOLR response
Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем

Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем

Приводится описание пакета прикладных программ GARANTmod, предназначенного для разработчиков гарантоспособных компьютерных систем. Пакет решает разнообразные задачи по оценке и обеспечению гарантоспособности систем критического применения....

Full description

Saved in:
Bibliographic Details
Main Authors: Федухин, А.В., Сеспедес Гарсия, Н.В.
Format: Article
Language:Russian
Published: Інститут проблем математичних машин і систем НАН України 2013
Series:Математичні машини і системи
Subjects:
Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення
Online Access:http://dspace.nbuv.gov.ua/handle/123456789/84087
Tags: Add Tag
No Tags, Be the first to tag this record!
id irk-123456789-84087
record_format dspace
spelling irk-123456789-840872015-07-03T03:02:47Z Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем Федухин, А.В. Сеспедес Гарсия, Н.В. Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення Приводится описание пакета прикладных программ GARANTmod, предназначенного для разработчиков гарантоспособных компьютерных систем. Пакет решает разнообразные задачи по оценке и обеспечению гарантоспособности систем критического применения. Наводиться опис пакета прикладних програм GARANTmod, призначеного для розробників гарантоздатних комп'ютерних систем. Пакет вирішує різноманітні завдання щодо оцінки та забезпечення гарантоздатності систем критичного застосування. The description of the GARANTmod application package designed for developers of dependable computer systems is given. The package solves various problems of the evaluation of dependability and security of critical application systems. 2013 Article Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем / А.В. Федухин, Н.В. Сеспедес Гарсия // Мат. машини і системи. — 2013. — № 3. — С. 178-185. — Бібліогр.: 62 назв. — рос. 1028-9763 http://dspace.nbuv.gov.ua/handle/123456789/84087 681.32.019.3 ru Математичні машини і системи Інститут проблем математичних машин і систем НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Russian
topic Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення
Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення
spellingShingle Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення
Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення
Федухин, А.В.
Сеспедес Гарсия, Н.В.
Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем
Математичні машини і системи
description Приводится описание пакета прикладных программ GARANTmod, предназначенного для разработчиков гарантоспособных компьютерных систем. Пакет решает разнообразные задачи по оценке и обеспечению гарантоспособности систем критического применения.
format Article
author Федухин, А.В.
Сеспедес Гарсия, Н.В.
author_facet Федухин, А.В.
Сеспедес Гарсия, Н.В.
author_sort Федухин, А.В.
title Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем
title_short Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем
title_full Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем
title_fullStr Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем
title_full_unstemmed Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем
title_sort пакет прикладних программ garantmod в инжиниринге гарантоспособных систем
publisher Інститут проблем математичних машин і систем НАН України
publishDate 2013
topic_facet Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення
url http://dspace.nbuv.gov.ua/handle/123456789/84087
citation_txt Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем / А.В. Федухин, Н.В. Сеспедес Гарсия // Мат. машини і системи. — 2013. — № 3. — С. 178-185. — Бібліогр.: 62 назв. — рос.
series Математичні машини і системи
work_keys_str_mv AT feduhinav paketprikladnihprogrammgarantmodvinžiniringegarantosposobnyhsistem
AT sespedesgarsiânv paketprikladnihprogrammgarantmodvinžiniringegarantosposobnyhsistem
first_indexed 2023-10-18T19:28:11Z
last_indexed 2023-10-18T19:28:11Z
_version_ 1796147042975744000

Similar Items