Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Russian
Terms
for subject
Programming
containing
a constraint on response time
|
all forms
|
exact matches only
|
in specified order only
English
Russian
a constraint on response time
некоторое ограничение на время реакции
(
ssn
)
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