Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Russian
Terms
for subject
Programming
containing
composite location
|
all forms
|
exact matches only
|
in specified order only
English
Russian
composite location
составная позиция
(
ssn
)
composite location
obtained from the source locations of the individual transitions
составная позиция, полученная из исходных позиций отдельных переходов
(
ssn
)
composite location
obtained from the target locations of the individual transitions
составная позиция, полученная из целевых позиций отдельных переходов
(
ssn
)
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
)
Get short URL