How to use the search function
11 documents found
Article
Стаття
Опубліковано
Modern scientific problems of cyber security
Летичевський Олександр Олександрович. Modern scientific problems of cyber security : published. 2023-02-20; Видавничий дім "Академперіодика", 2123U006035
R & D report
Methods and case-technologies of evidence-based assessment of software systems cybersecurity to ensure protection of critical IT infrastructure
Head: Illiashenko Oleh O.. Methods and case-technologies of evidence-based assessment of software systems cybersecurity to ensure protection of critical IT infrastructure. (popup.stage: Теоретичні та експериментальні дослідження з розробки кейс-орієнтованих методів оцінювання, інтерфейсів та технології верифікації ПСКЗ). National Aerospace University "Kharkiv Aviation Institute". № 0225U002644
search.res_rk
Develop theoretical foundations and formal methods of analysis, verification and testing of security-critical cyber-physical systems based on insertion modeling and artificial intelligence methods
Head: Letychevskyi Oleksandr О.. Develop theoretical foundations and formal methods of analysis, verification and testing of security-critical cyber-physical systems based on insertion modeling and artificial intelligence methods. V.M. Glushkov Institute of Cybernetics of the National Academy of Sciences of Ukraine. № 0123U100772
R & D report
Develop theoretical foundations of cyberphysical systems based on insertion modeling
Head: Letychevskyi Oleksandr O.. Develop theoretical foundations of cyberphysical systems based on insertion modeling. (popup.stage: ). V.M. Glushkov Institute of Cybernetics of the National Academy of Sciences of Ukraine. № 0223U001426
Candidate dissertation
Algebraic Methods for Discovering of the Vulnerabilities in Binary Code
2
Yakovlev Viktor M.. Algebraic Methods for Discovering of the Vulnerabilities in Binary Code : Кандидат фізико-математичних наук : spec.. 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем : presented. 2021-04-23; popup.evolution: .; V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine. – Київ, 0421U101749.
R & D report
Methodological fundamentals and technologies for assessing and ensuring the safety (protection) of critical information infrastructures
1
Head: Brezhnev Evgen V.. Methodological fundamentals and technologies for assessing and ensuring the safety (protection) of critical information infrastructures. (popup.stage: ). National Aerospace University "Kharkiv Aviation Institute". № 0220U101582
search.res_rk
Develop theoretical foundations of cyberphysical systems based on insertion modeling
Head: Letychevskyi Oleksandr O.. Develop theoretical foundations of cyberphysical systems based on insertion modeling. V.M. Glushkov Institute of Cybernetics of the National Academy of Sciences of Ukraine. № 0118U001110
search.res_rk
Develop formal methods for detecting vulnerabilities in software systems
Head: Letychevskyi Oleksandr O.. Develop formal methods for detecting vulnerabilities in software systems. V.M. Glushkov Institute of Cybernetics of the National Academy of Sciences of Ukraine. № 0119U002220
Candidate dissertation
Methods for automation of development of autotuners for parallel programs
1
Ivanenko Pavlo . Methods for automation of development of autotuners for parallel programs : Кандидат фізико-математичних наук : spec.. 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем : presented. 2018-12-14; popup.evolution: .; V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine. – Київ, 0419U000172.
search.res_rk
Develop theoretical basis and methods of symbolic modelling for construction and reengineering of safety critical systems using symbolic insertion modelling, deductive methods and artificial intelligence methods.
Head: Letychevskyi Oleksandr O.. Develop theoretical basis and methods of symbolic modelling for construction and reengineering of safety critical systems using symbolic insertion modelling, deductive methods and artificial intelligence methods.. V.M. Glushkov Institute of Cybernetics of the National Academy of Sciences of Ukraine. № 0117U000331
11 documents found

Updated: 2026-10-21


Роздрукувати цю сторінку