Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
English
German
Terms
containing
временная константа
|
all forms
|
in specified order only
Subject
Russian
English
progr.
в определении временного автомата мы допускали использование временных ограничений в качестве инвариантов позиций и предохранителей переходов, содержащих произвольные рациональные константы
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
)
progr.
временная константа
date time constant
(
ssn
)
progr.
временная константа
datetime constant
(
ssn
)
biol.
временная константа
time constant
math.
усреднённая
временная константа
average time constant
(
clck.ru
dimock
)
Get short URL