1 documents found
Information × Registration Number 0123U100772, R & D request Title 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 О., д.ф.-м.н. Registration Date 02-02-2023 Organization V.M. Glushkov Institute of Cybernetics of the National Academy of Sciences of Ukraine popup.description1 The purpose of the work is to develop methods for creating models of cyber-physical systems in the insertion system modeling and use of formal methods for their verification and testing, in particular, in defense, aerospace, medical, chemical industries. popup.nrat_date 2024-12-09 Close
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
1 documents found

Updated: 2026-03-23


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