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