3 documents found
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.
Ihor Holinko. Mathematical models and artificial microclimate systems optimization for critical infrastructure cyber-physical facilities : Доктор технічних наук : spec.. 01.05.02 - Математичне моделювання та обчислювальні методи : presented. 2026-06-24; popup.evolution: .; Karazin University. – Харків, 0526U000179.
3 documents found

Updated: 2026-10-21