Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем
Приводится описание пакета прикладных программ GARANTmod, предназначенного для разработчиков гарантоспособных компьютерных систем. Пакет решает разнообразные задачи по оценке и обеспечению гарантоспособности систем критического применения....
Збережено в:
| Дата: | 2013 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут проблем математичних машин і систем НАН України
2013
|
| Назва видання: | Математичні машини і системи |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/84087 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем / А.В. Федухин, Н.В. Сеспедес Гарсия // Мат. машини і системи. — 2013. — № 3. — С. 178-185. — Бібліогр.: 62 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| 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 |