Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
French
Russian
Serbian Latin
Terms
for subject
Programming
containing
action for
|
all forms
|
exact matches only
|
in specified order only
English
Russian
action for
the step
действие шага
(
ssn
)
action rule for event handling
правило действия для обработки событий
(параллельного агента в языке параллельного логического программирования в ограничениях B-Prolog 8.1 (2014)
Alex_Odeychuk
)
an inappropriate
action for
this state
Некорректное действие для этого состояния
(
ssn
)
Another inappropriate
action for
this state
другое некорректное действие для этого состояния
condition for transaction triggering of action graph
условие срабатывания перехода графа действий
(
ssn
)
first
action for
the step
первое действие шага
(
ssn
)
for each pair of transitions from the individual automata with the same action
для каждой пары переходов отдельных автоматов, помеченных одним и тем же действием
(
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
)
logical condition for transaction triggering of action graph
логическое условие срабатывания перехода графа действий
(
ssn
)
method for every action
метод для каждого возможного действия
(
ssn
)
specified
action for
a kind of signal
заданное действие для вида сигнала
(
ssn
)
State interface that contains a method for every action
интерфейс State, содержащий метод для каждого возможного действия
(
ssn
)
Get short URL
