Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем
Приводится описание пакета прикладных программ GARANTmod, предназначенного для разработчиков гарантоспособных компьютерных систем. Пакет решает разнообразные задачи по оценке и обеспечению гарантоспособности систем критического применения. Наводиться опис пакета прикладних програм GARANTmod, признач...
Saved in:
| Published in: | Математичні машини і системи |
|---|---|
| Date: | 2013 |
| Main Authors: | , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем математичних машин і систем НАН України
2013
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/84087 |
| 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: | Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем / А.В. Федухин, Н.В. Сеспедес Гарсия // Мат. машини і системи. — 2013. — № 3. — С. 178-185. — Бібліогр.: 62 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862533274855800832 |
|---|---|
| author | Федухин, А.В. Сеспедес Гарсия, Н.В. |
| author_facet | Федухин, А.В. Сеспедес Гарсия, Н.В. |
| citation_txt | Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем / А.В. Федухин, Н.В. Сеспедес Гарсия // Мат. машини і системи. — 2013. — № 3. — С. 178-185. — Бібліогр.: 62 назв. — рос. |
| collection | DSpace DC |
| container_title | Математичні машини і системи |
| description | Приводится описание пакета прикладных программ 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.
|
| first_indexed | 2025-11-24T08:28:09Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-84087 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1028-9763 |
| language | Russian |
| last_indexed | 2025-11-24T08:28:09Z |
| publishDate | 2013 |
| publisher | Інститут проблем математичних машин і систем НАН України |
| record_format | dspace |
| spelling | Федухин, А.В. Сеспедес Гарсия, Н.В. 2015-07-02T20:37:11Z 2015-07-02T20:37:11Z 2013 Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем / А.В. Федухин, Н.В. Сеспедес Гарсия // Мат. машини і системи. — 2013. — № 3. — С. 178-185. — Бібліогр.: 62 назв. — рос. 1028-9763 https://nasplib.isofts.kiev.ua/handle/123456789/84087 681.32.019.3 Приводится описание пакета прикладных программ 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. ru Інститут проблем математичних машин і систем НАН України Математичні машини і системи Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем Пакет прикладних програм GARANTmod в інжинірингу гарантоздатних систем The GARANTmod application package in engineering of dependable systems Article published earlier |
| spellingShingle | Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем Федухин, А.В. Сеспедес Гарсия, Н.В. Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення |
| title | Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем |
| title_alt | Пакет прикладних програм GARANTmod в інжинірингу гарантоздатних систем The GARANTmod application package in engineering of dependable systems |
| title_full | Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем |
| title_fullStr | Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем |
| title_full_unstemmed | Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем |
| title_short | Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем |
| title_sort | пакет прикладних программ garantmod в инжиниринге гарантоспособных систем |
| topic | Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення |
| topic_facet | Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/84087 |
| work_keys_str_mv | AT feduhinav paketprikladnihprogrammgarantmodvinžiniringegarantosposobnyhsistem AT sespedesgarsiânv paketprikladnihprogrammgarantmodvinžiniringegarantosposobnyhsistem AT feduhinav paketprikladnihprogramgarantmodvínžiníringugarantozdatnihsistem AT sespedesgarsiânv paketprikladnihprogramgarantmodvínžiníringugarantozdatnihsistem AT feduhinav thegarantmodapplicationpackageinengineeringofdependablesystems AT sespedesgarsiânv thegarantmodapplicationpackageinengineeringofdependablesystems |