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

Скорочена інформація про документ
dc.contributor.authorФедухин, А.В.
dc.contributor.authorСеспедес Гарсия, Н.В.
dc.date.accessioned2015-07-02T20:37:11Z
dc.date.available2015-07-02T20:37:11Z
dc.date.issued2013
dc.description.abstractПриводится описание пакета прикладных программ GARANTmod, предназначенного для разработчиков гарантоспособных компьютерных систем. Пакет решает разнообразные задачи по оценке и обеспечению гарантоспособности систем критического применения.uk_UA
dc.description.abstractНаводиться опис пакета прикладних програм GARANTmod, призначеного для розробників гарантоздатних комп'ютерних систем. Пакет вирішує різноманітні завдання щодо оцінки та забезпечення гарантоздатності систем критичного застосування.uk_UA
dc.description.abstractThe 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.uk_UA
dc.identifier.citationПакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем / А.В. Федухин, Н.В. Сеспедес Гарсия // Мат. машини і системи. — 2013. — № 3. — С. 178-185. — Бібліогр.: 62 назв. — рос.uk_UA
dc.identifier.issn1028-9763
dc.identifier.udc681.32.019.3
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/84087
dc.language.isoruuk_UA
dc.publisherІнститут проблем математичних машин і систем НАН Україниuk_UA
dc.relation.ispartofМатематичні машини і системи
dc.statuspublished earlieruk_UA
dc.subjectЯкість, надійність і сертифікація обчислювальної техніки і програмного забезпеченняuk_UA
dc.titleПакет прикладних программ GARANTmod в инжиниринге гарантоспособных системuk_UA
dc.title.alternativeПакет прикладних програм GARANTmod в інжинірингу гарантоздатних системuk_UA
dc.title.alternativeThe GARANTmod application package in engineering of dependable systemsuk_UA
dc.typeArticleuk_UA

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
17-Feduhin.pdf
Розмір:
359.46 KB
Формат:
Adobe Portable Document Format
Опис:
Стаття
Завантажити

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
817 B
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекція

Математичні машини і системи, 2013, № 3