Search academic texts

Information × Registration Number 0122U001882, ( 0225U002021  ) R & D request Title Modelling and verification of complicated software systems Head Suprunenko Oksana O., к.т.н. Registration Date 21-02-2022 Organization Bohdan Khmelnytsky National University of Cherkasy popup.description1 Improving the design quality of complex software systems by improving the methods of the dynamic properties analysis of their models. Development of methods and tools of modeling and verification of complicated software systems. popup.nrat_date 2024-12-09 Close