Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Terms containing
from the source
|
all forms
|
exact matches only
|
in specified order only
Subject
English
Russian
progr.
composite location obtained
from the source
locations of the individual transitions
составная позиция, полученная из исходных позиций отдельных переходов
(
ssn
)
electric.
separate the person
from the source
of electric current
освободить пострадавшего от действия тока
(
Tverskaya
)
progr.
the source and target locations of these transitions will be obtained
from the source
and target locations of the original transition and the location from the other automaton
Исходные и целевые позиции таких переходов будут получены из исходных и целевых позиций рассматриваемого перехода и позиции второго автомата
(см.
Model Checking / Edmund M. Clarke
,
Jr.
,
Orna Grumberg
,
and Doron A. Peled
1999
)
progr.
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