СловникиФорумКонтакти

   Англійська Російська +
Google | Forvo | +

subclass of formal verification called model checking

наголоси
прогр. подвид формальной верификации, называемый верификация модели (ssn)