Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Chinese
German
Japanese
Russian
Ukrainian
Terms
for subject
Programming
containing
original source
|
all forms
English
Russian
original audio source
исходный источник звука
(
ssn
)
original data source
первоначальный источник данных
(
ssn
)
original energy source
первоначальный источник энергии
(
ssn
)
original transaction that updated the source table
исходная транзакция, обновляющая таблицу-источник
(
ssn
)
source and target locations of the original transition
исходные и целевые позиции рассматриваемого перехода
(
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
)
Get short URL