Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Terms containing
transition current
|
all forms
|
in specified order only
Subject
English
Russian
progr.
next internal state predicted by the transition table is the same as the current internal state
следующее внутреннее состояние, предсказываемое таблицей переходов, является точно таким же, как и текущее внутреннее состояние
(
ssn
)
progr.
product of the current state's minterm and the transition expression
произведение минтерма текущего состояния и выражения перехода
(
ssn
)
progr.
the transition can be taken only if the current values of the clocks satisfy the clock constraint
Переход может быть совершен, только если текущие показания часов удовлетворяют временному ограничению
(см.
Model Checking / Edmund M. Clarke
,
Jr.
,
Orna Grumberg
,
and Doron A. Peled
1999
)
pow.el.
transition current
критический ток
progr.
transition from the current state
переход из текущего состояния
(
ssn
)
Get short URL