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