Наукова періодика України Радіоелектронні і комп’ютерні системи

Конорев Б. М. 
Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов / Б. М. Конорев, С. О. Засуха, Ю. С. Манжос, Л. П. Семенов, В. В. Сергиенко, В. С. Харченко, Г. Н. Чертков // Радіоелектронні і комп’ютерні системи. - 2006. - № 7. - С. 162–170. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2006_7_34
Предложенный подход создает возможности в рамках risk-informed регулирования безопасности АЭС количественно оценивать и управлять величиной снижения вероятности рисков остаточных дефектов программного обеспечения ИУС для композиции диверсных технологий верификации на основе экспериментальной калибровки чувствительности и реальной степени разнообразия диверсных методов верификации.
  Повний текст PDF - 322.856 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Конорев Б.
  • Засуха С.
  • Манжос Ю.
  • Семенов Л.
  • Сергиенко В.
  • Харченко В.
  • Чертков Г.

    • Бібліографічний опис для цитування:

    Конорев Б. М. Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов / Б. М. Конорев, С. О. Засуха, Ю. С. Манжос, Л. П. Семенов, В. В. Сергиенко, В. С. Харченко, Г. Н. Чертков // Радіоелектронні і комп’ютерні системи. - 2006. - № 7. - С. 162–170. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2006_7_34.
    Додаткова інформація про автора(ів) публікації:
    (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
  • Засуха Сергій Олексійович (технічні науки)
  • Манжос Юрій Семенович (технічні науки)
  • Харченко Вячеслав Сергійович (технічні науки)
  • Харченко Валентина Сергіївна (технічні науки)
    •   Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського