1 documents found
Information × Registration Number 0117U000331, ( 0222U003229  ) R & D request Title 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., Registration Date 09-01-2017 Organization V.M. Glushkov Institute of Cybernetics of the National Academy of Sciences of Ukraine popup.description1 popup.nrat_date 2024-12-10 Close
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
1 documents found

Updated: 2026-03-22


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