Search academic texts

Information × Registration Number 0118U100479, ( 0222U003088  ) R & D request Title Development of the theory of modelling and verification of complicated software systems Head Onyshchenko Borys , Registration Date 10-12-2018 Organization Bohdan Khmelnytsky National University of Cherkasy popup.description1 Improving the design of complicated software systems through the development of combined models and verification methods for software components. Development of methods and tools of modeling and verification of complicated software systems. popup.nrat_date 2024-12-10 Close