Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
English
French
German
Spanish
Terms
for subject
Programming
containing
составной переход
|
all forms
|
in specified order only
Russian
English
Исходной позицией этого перехода будет составная позиция, полученная из исходных позиций отдельных переходов
the source location of the transition will be the composite location obtained from the source locations of the individual transitions
(см.
Model Checking / Edmund M. Clarke
,
Jr.
,
Orna Grumberg
,
and Doron A. Peled
1999
)
составная позиция, полученная из исходных позиций отдельных переходов
composite location obtained from the source locations of the individual transitions
(
ssn
)
составная позиция, полученная из целевых позиций отдельных переходов
composite location obtained from the target locations of the individual transitions
(
ssn
)
составной переход
jump over jump
(
ssn
)
Get short URL