DictionaryForumContacts

   English
Terms containing s-of-s check | all forms | in specified order only
SubjectEnglishRussian
progr.an important benefit of this approach is that the information produced allows the user to check whether the model satisfies various real-time constraintsВажным достоинством этого подхода является то, что полученная информация позволяет пользователю проверять, удовлетворяет ли эта модель различным ограничениям реального времени (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)
gen.he was on the point of pegging out with a complication of disorders that even whiskey had failed to checkздоровье у него пришло в такое расстройство, что даже виски не помогал (witness)
stat.s-of-s checkпроверка суммы квадратов