|
Автор: Конорев Б.М., Засуха С.А., Манжос Ю.С., Семенов Л.П., Сергиенко В.В., Харченко В.С., Чертков Г.Н.
-
Анотація:
Предложенный подход создает возможности в рамках risk-informed регулирования безопасности АЭС количественно оценивать и управлять величиной снижения вероятности рисков остаточных дефектов программного обеспечения (ПО) ИУС для композиции диверсных технологий верификации на основе экспериментальной калибровки чувствительности и реальной степени разнообразия диверсных методов верификации.
-
Електронні версії документа:
-
Є складовою частиною документа:
-
Теми документа
-
УДК // Виявлення, зазначення (індикація) помилок. Оцінка даних. Підтвердження достовірності даних. Перевірка даних
-
Праці співробітників ХАІ // Манжос Ю.С./Manzhos Y.
-
Праці співробітників ХАІ // Праці співробітників ХАІ/Труды сотрудников ХАИ
-
Праці співробітників ХАІ // Харченко В.С./Kharchenko V.S.
| 