Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
English
Terms
for subject
Programming
containing
инварианты позиций и предохранителей переходов
|
all forms
|
exact matches only
|
in specified order only
Russian
English
в определении временного автомата мы допускали использование временных ограничений в качестве
инвариантов позиций и предохранителей переходов
, содержащих произвольные рациональные константы
in the definition of timed automaton, we allowed the clock constraints that serve as the invariants of locations and the guards of transitions to contain arbitrary rational constants
(см.
Model Checking / Edmund M. Clarke
,
Jr.
,
Orna Grumberg
,
and Doron A. Peled
1999
)
инварианты позиций и предохранителей переходов
invariants of locations and the guards of transitions
(
ssn
)
инварианты позиций и предохранителей переходов
, содержащие произвольные рациональные константы
invariants of locations and the guards of transitions to contain arbitrary rational constants
(
ssn
)
Get short URL