Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
Chinese
English
French
Italian
Polish
Terms
for subject
Programming
containing
возможное событие
|
all forms
|
in specified order only
Russian
English
в предыдущей главе мы предполагали, что время дискретно. в этом случае возможные показания часов задаются неотрицательными целыми числами и события могут происходить только в целочисленные моменты времени
in the previous chapter, we assumed that time is discrete. When time is modeled in this manner, possible clock values are nonnegative integers, and events can only occur at integer time values
(см.
Model Checking / Edmund M. Clarke
,
Jr.
,
Orna Grumberg
,
and Doron A. Peled
1999
)
возможное событие
possible event
(
ssn
)
возможные последовательности событий
possible sequences of events
(
ssn
)
возможные события
possible events
(
ssn
)
все
возможные события
each possible event
(
ssn
)
все
возможные события
для всех возможных состояний
each possible event for each possible state
(
ssn
)
вся необходимая информация для определения возможных последовательностей событий
all necessary information to define the possible sequences of events
(
ssn
)
Порядок появления событий является одним из возможных, допускаемых основной структурой
the order of occurrence of the events is one of possibly many allowed by the basic structure
Проект должен предусматривать все
возможные события
для всех возможных состояний
the design must consider each possible event for each possible state
Структура сети Петри такова, что содержит в себе всю необходимую информацию для определения возможных последовательностей событий
the Petri net structure itself contains all necessary information to define the possible sequences of events
Get short URL