Наукова періодика України Системи обробки інформації

Тарасюк О. М. 
Пример комплексного использования формальных методов спецификации требований и анализа надежности компьютерных систем управления / О. М. Тарасюк, А. В. Горбенко, В. С. Харченко, Ю. В. Мотора // Системи обробки інформації. - 2010. - Вип. 8. - С. 83-89. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2010_8_16
Представлены результаты совместного использования формального метода спецификации требований Event-B, метода анализа видов и последствий критических отказов FME(С)A, а также метода анализа деревьев отказов FTA на примере системы управления движением автотранспорта по однонаправленному мосту.
  Повний текст PDF - 354.245 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Тарасюк О.
  • Горбенко А.
  • Харченко В.
  • Мотора Ю.

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

    Тарасюк О. М. Пример комплексного использования формальных методов спецификации требований и анализа надежности компьютерных систем управления / О. М. Тарасюк, А. В. Горбенко, В. С. Харченко, Ю. В. Мотора // Системи обробки інформації. - 2010. - Вип. 8. - С. 83-89. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2010_8_16.
    Додаткова інформація про автора(ів) публікації:
    (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
  • Тарасюк Ольга Михайлівна (1979–) (технічні науки)
  • Горбенко Анатолій Вікторович (технічні науки)
  • Харченко Вячеслав Сергійович (технічні науки)
  • Харченко Валентина Сергіївна (технічні науки)
    •   Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

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