Search academic texts

Information × Registration Number 0121U110615, ( 0222U000381  0223U000108  ) R & D request Title Development of methods and means for safety-critical systems designing process artifacts verification Head Shkarupylo Vadym V., Registration Date 18-04-2021 Organization Institute of Problems of Modeling in Energy named after GE Pukhov of the National Academy of Sciences of Ukraine popup.description1 Іncrease the effectiveness of safety-critical systems designing process from the standpoint of the level of functional safety of the system and components - by developing appropriate methods and means of verification. popup.nrat_date 2024-12-09 Close