Search academic texts

Information × Registration Number 0116U004559, ( 0219U004138  ) R & D request Title Develop Jormal methods for automated testing and verifying safe-criticalsystems. Head Летичевський Олександр Адольфович, Registration Date 03-06-2016 Organization V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine popup.description1 popup.nrat_date 2024-12-10 Close