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

dc.contributor.author	Федухин, А.В.
dc.contributor.author	Сеспедес Гарсия, Н.В.
dc.date.accessioned	2015-07-02T20:37:11Z
dc.date.available	2015-07-02T20:37:11Z
dc.date.issued	2013
dc.identifier.citation	Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем / А.В. Федухин, Н.В. Сеспедес Гарсия // Мат. машини і системи. — 2013. — № 3. — С. 178-185. — Бібліогр.: 62 назв. — рос.	uk_UA
dc.identifier.issn	1028-9763
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/84087
dc.description.abstract	Приводится описание пакета прикладных программ GARANTmod, предназначенного для разработчиков гарантоспособных компьютерных систем. Пакет решает разнообразные задачи по оценке и обеспечению гарантоспособности систем критического применения.	uk_UA
dc.description.abstract	Наводиться опис пакета прикладних програм GARANTmod, призначеного для розробників гарантоздатних комп'ютерних систем. Пакет вирішує різноманітні завдання щодо оцінки та забезпечення гарантоздатності систем критичного застосування.	uk_UA
dc.description.abstract	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.	uk_UA
dc.language.iso	ru	uk_UA
dc.publisher	Інститут проблем математичних машин і систем НАН України	uk_UA
dc.relation.ispartof	Математичні машини і системи
dc.subject	Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення	uk_UA
dc.title	Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем	uk_UA
dc.title.alternative	Пакет прикладних програм GARANTmod в інжинірингу гарантоздатних систем	uk_UA
dc.title.alternative	The GARANTmod application package in engineering of dependable systems	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	681.32.019.3