1 documents found
Information × Registration Number 0218U002522, 0113U000072 , R & D reports Title To develop new methods and tools for the effective verification and the development of complex information systems on the base of symbolic insertion modeling, deductive methods and the methods of artificial intelligence. popup.stage_title Head Letichevsky Aleksander Adol'fovich, Registration Date 03-04-2018 Organization V.M.Glushkov Institute of Cybernetics, National Academy of Science of Ukraine popup.description2 3. A method and program support for analysis and model testing of complex information systems has been developed. Product Description popup.authors Летичевський Олександр Олександрович Мороховець Марина Костянтинівна popup.nrat_date 2020-04-02 Close
R & D report
To develop new methods and tools for the effective verification and the development of complex information systems on the base of symbolic insertion modeling, deductive methods and the methods of artificial intelligence.
Head: Letichevsky Aleksander Adol'fovich. To develop new methods and tools for the effective verification and the development of complex information systems on the base of symbolic insertion modeling, deductive methods and the methods of artificial intelligence.. (popup.stage: ). V.M.Glushkov Institute of Cybernetics, National Academy of Science of Ukraine. № 0218U002522
1 documents found

Updated: 2026-03-24


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