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

• Datum: 2013
• Hauptverfasser: Федухин, А.В., Сеспедес Гарсия, Н.В.
• Format: Artikel
• Sprache: Russian
• Veröffentlicht: Інститут проблем математичних машин і систем НАН України 2013
• Schriftenreihe: Математичні машини і системи
• Schlagworte: Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/84087
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем / А.В. Федухин, Н.В. Сеспедес Гарсия // Мат. машини і системи. — 2013. — № 3. — С. 178-185. — Бібліогр.: 62 назв. — рос.

Приводится описание пакета прикладных программ GARANTmod, предназначенного для разработчиков гарантоспособных компьютерных систем. Пакет решает разнообразные задачи по оценке и обеспечению гарантоспособности систем критического применения....