некоторое ограничение на время реакции для той или иной операции

Terms for subject Programming containing некоторое ограничение на время реакции для той или иной операции | all forms | exact matches only | in specified order only

Russian	English
некоторое ограничение на время реакции для той или иной операции	a constraint on response time for some operation (ssn)
Обычно разработчик предусматривает некоторое ограничение на время реакции для той или иной операции, а верификатор автоматически проверяет, выполняется оно или нет	Typically, the designer provides a constraint on response time for some operation, and the verifier automatically determines if it is satisfied or not (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)

Get short URL