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