Search academic texts

Artem S. Panarin. Methods and means for ensuring functional safety of NPP information and control systems on programmable platforms using combined diversity : Доктор філософії : spec.. 123 - Комп’ютерна інженерія : presented. 2026-09-21; popup.evolution: .; National Aerospace University "Kharkiv Aviation Institute". – Харків, 0826U005068.

Kostyantyn P. Leontiyev. Methods and means of evaluating the functional safety of information-control systems on programmable platforms with consideration of criticality of assumptions and analysis errors : Доктор філософії : spec.. 123 - Комп’ютерна інженерія : presented. 2026-09-21; popup.evolution: .; National Aerospace University "Kharkiv Aviation Institute". – Харків, 0826U004993.

Valentyn Korniienko. Models and Methods of High-Level Synthesis of Digital Signal Processing Systems for Implementation in Systems-on-Chip : Доктор філософії : spec.. 123 - Комп’ютерна інженерія : presented. 2026-06-30; popup.evolution: o; Kharkiv National University Of Radio Electronics. – Харків, 0826U002997.

Head: Kharchenko Vyacheslav S.. Methods, tools, and technologies for modeling, developing, deploying, and ensuring the dependability of mobile intelligent systems for critical infrastructure facilities. (popup.stage: Розроблення та дослідження методів, засобів та технологій моделювання, створення, розгортання та забезпечення гарантоздатності мобільних інтелектуальних систем для об’єктів критичної інфраструктури). National Aerospace University "Kharkiv Aviation Institute". № 0226U002313

Head: Kharchenko Vyacheslav S.. Methods, tools, and technologies for modeling, developing, deploying, and ensuring the dependability of mobile intelligent systems for critical infrastructure facilities. (popup.stage: Аналіз стану досліджень та практичного використання методів та технологій моделювання, розроблення та забезпечення гарантоздатності мобільних інтелектуальних систем для об’єктів критичної інфраструктури). National Aerospace University "Kharkiv Aviation Institute". № 0225U002667

Head: Kharchenko Viacheslav S.. Methods, models and information technologies to increase the reliability and security of complex IT systems at the stages of development and implementation. (popup.stage: Розроблення моделей та методів оцінювання та підвищення кібербезпеки гарантоздатних ІТ-систем та інфраструктур). National Aerospace University "Kharkiv Aviation Institute". № 0224U002155

Head: Kharchenko Viacheslav S.. Methods, models and information technologies to increase the reliability and security of complex IT systems at the stages of development and implementation. (popup.stage: ). National Aerospace University "Kharkiv Aviation Institute". № 0223U002225

Head: Kharchenko Viacheslav S.. Methods, models and information technologies to increase the reliability and security of complex IT systems at the stages of development and implementation. (popup.stage: ). National Aerospace University "Kharkiv Aviation Institute". № 0222U002861

Head: Kharchenko Vyacheslav S.. Methods, software and hardware and information technologies for the development and modernization of dependable computer systems, networks and IT infrastructures. (popup.stage: ). National Aerospace University "Kharkiv Aviation Institute". № 0220U101585

Pakhomov Yuriy V.. Models and methods for the testable design of critical systems of logic control based on finite-state machines : Кандидат технічних наук : spec.. 05.13.05 - Комп'ютерні системи та компоненти : presented. 2019-06-19; popup.evolution: .; Kharkiv National University Of Radio Electronics. – Харків, 0419U003236.