1. eNUPPIR «Еlectronic National University «Yuri Kondratyuk Poltava Politechnic» Institutional Repository
  2. Навчально-науковий інститут інформаційних технологій та робототехніки
  3. Кафедра вищої та прикладної математики

Пошук


Поточні фільтри:
Почати новий пошук
Додати фільтри:

Використовуйте фільтри для уточнення результатів пошуку.

 | 
Результати 1-10 зі 10.
  • назад
  • 1
  • далі
Знайдені матеріали:
Попередній переглядДата виданняНазваАвтор(и)
2015Информационная технология оценки надежности программных средств с учетом вторичных дефектов = Інформаційна технологія оцінки надійності програмних засобів із урахуванням вторинних дефектівОдарущенко, О.Б.; Одарущенко, О.М.; Руденко, О.А.
2017Моделі математичних блоків дискретного перетворення інформації для верифікації програмного забезпечення програмованих логічних контролерівОдарущенко, О.Б.; Одарущенко, О.М.; Бутенко, В.О.; Москалець, В.В.; Стрюк, О.Ю.
2013Учет фактора вторичных дефектов при оценке надежности программных средств = Урахування фактора вторинних дефектів при оцінці надійності програмних засобівХарченко, В.С.; Руденко, О.А.; Одарущенко, О.Б.; Одарущенко, О.М.
лют-2016Markov’s Modeling of NPP I&C Reliability and Safety optimization of tool-and-techique selection = Марковское моделирование надежности и безопасности ИУС АЭС - выбора инструмента и техникОдарущенко, О.Б.; Харченко, В.С.; Бутенко, В.О.; Одарущенко, О.М.
січ-2016Application of Markov Modeling for Safety Assessment of Self-Diagnostic Programmable Instrumentations and Control Systems = Застосування Марковського моделювання для оцінки функціональної безпеки інформаційних та управляючих системОдарущенко, О.Б.; Бутенко, В.О.; Харченко, В.С.; Москалец, В.В.; Одарущенко, О.М.; Стрюк, О.Ю.
2012Анализ архитектур отказоустойчивых серверов для оценки их надежности = Аналіз архітектур відмовостійких серверів для оцінки їх надійностіОдарущенко, О.Б.; Одарущенко, О.М.; Живило, С.В.; Харченко, В.С.
лип-2014Assessment of the Reactor Trip System Dependability Two Markov Chains-based Cases =Оцінка надійності системи аварійного захисту реактора із викоритсанням моделей МарковаОдарущенко, О.Б.; Харченко, В.С.; Одарущенко, О.М.; Бутенко, В.О.; Бутенко, Д.А.
чер-2014Markov’s Model and Tool-Based Assessment of Safety-Critical I&C Systems: Gaps of the IEC 61508 = Модель Маркова и инструментальная оценка критически важных факторов безопасности информационно-управляющих систем : Анализ недостатков стандарта IEC 61508Одарущенко, О.Б.; Бутенко, В.О.; Харченко, В.С.; Попов, П.; Одарущенко, О.М.; Скляр, В.В.
тра-2015Metric-based approach and tool for modeling the I&C system using Markov chains = Метричний підхід і інструмент для моделювання інформаційно-управляючих систем з використанням ланцюгів МарковаОдарущенко, О.Б.; Бутенко, В.О.; Харченко, В.С.; Бутенко, Д.А.
2015Програмна розробка імітаційнного моделювання гарантоздатних web- сервісів з урахуванням дефектів і вразливостей компонентОдарущенко, О.Б.; Запорожець, О.Ю.

Перегляд