Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Russian
Terms
for subject
Programming
containing
locations of the actions
|
all forms
|
exact matches only
|
in specified order only
English
Russian
By extension, the location of an object is the union of the
locations of the actions
in which the object may take part
Обобщая, положение объекта является объединением положений действий, в которых объект может принимать участие
(см.
ISO/IEC 10746-2
,
ГОСТ Р ИСО/МЭК 10746-2-2000
ssn
)
if the action of a transition is only an action of one of the two processes, then there will be a transition in the parallel composition for each location of the other timed automaton
если действием некоторого перехода будет действие только одного из двух процессов, то для каждой позиции второго временного автомата в параллельной композиции будет совместный переход
(см.
Model Checking / Edmund M. Clarke
,
Jr.
,
Orna Grumberg
,
and Doron A. Peled
1999
ssn
)
locations of the actions
положения действий
(
ssn
)
union of the
locations of the actions
объединение положений действий
(
ssn
)
Get short URL