Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем
|
|
| Creator |
Федухин, А.В.
Сеспедес Гарсия, Н.В. |
|
| Subject |
Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення
|
|
| 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. |
|
| Date |
2015-07-02T20:37:11Z
2015-07-02T20:37:11Z 2013 |
|
| Type |
Article
|
|
| Identifier |
Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем / А.В. Федухин, Н.В. Сеспедес Гарсия // Мат. машини і системи. — 2013. — № 3. — С. 178-185. — Бібліогр.: 62 назв. — рос.
1028-9763 http://dspace.nbuv.gov.ua/handle/123456789/84087 681.32.019.3 |
|
| Language |
ru
|
|
| Relation |
Математичні машини і системи
|
|
| Publisher |
Інститут проблем математичних машин і систем НАН України
|
|