Skip navigation
Початкова
Перегляд
Фонди та зібрання
Перегляд матеріалів за:
Дати видання
Автори
Назви
Тематичні ключові слова
Вхід:
Мій архів матеріалів
Оновлення на e-mail
Обліковий запис
eNUPPIR «Еlectronic National University «Yuri Kondratyuk Poltava Politechnic» Institutional Repository
Навчально-науковий інститут інформаційних технологій та робототехніки
Кафедра вищої та прикладної математики
Пошук
Пошук:
Весь архів електронних ресурсів
Навчально-науковий інститут інформаційних технологій та робототехніки
Кафедра вищої та прикладної математики
запит
Поточні фільтри:
Назва
Автор
Тематичні ключові слова
за датою видання
Дорівнює
Містить
ID
Не дорівнює
Не містить
Не ID
Назва
Автор
Тематичні ключові слова
за датою видання
Дорівнює
Містить
ID
Не дорівнює
Не містить
Не ID
Почати новий пошук
Додати фільтри:
Використовуйте фільтри для уточнення результатів пошуку.
Назва
Автор
Тематичні ключові слова
за датою видання
Дорівнює
Містить
ID
Не дорівнює
Не містить
Не ID
Результати 1-2 зі 2.
назад
1
далі
Знайдені матеріали:
Попередній перегляд
Дата видання
Назва
Автор(и)
2017
Моделі математичних блоків дискретного перетворення інформації для верифікації програмного забезпечення програмованих логічних контролерів
Одарущенко, О.Б.
;
Одарущенко, О.М.
;
Бутенко, В.О.
;
Москалець, В.В.
;
Стрюк, О.Ю.
січ-2016
Application of Markov Modeling for Safety Assessment of Self-Diagnostic Programmable Instrumentations and Control Systems = Застосування Марковського моделювання для оцінки функціональної безпеки інформаційних та управляючих систем
Одарущенко, О.Б.
;
Бутенко, В.О.
;
Харченко, В.С.
;
Москалец, В.В.
;
Одарущенко, О.М.
;
Стрюк, О.Ю.
Перегляд
Автор
2
Бутенко, В.О.
2
Одарущенко, О.Б.
1
Москалец, В.В.
1
Москалець, В.В.
1
Харченко, В.С.
Тематичні ключові слова
1
Instrumentation and Control system
1
Markov model
1
Matlab
1
metric-based approach
1
Reactor Trip System
1
Simulink
1
модель
1
програмований логічний контролер
1
тест-кейс
Роки видання
1
2017
1
2016