Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
English
Terms
for subject
Programming
containing
предполагаемые события
|
all forms
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
)
различные состояния предполагают различные способы реакции на события
different states imply a different way of reacting to events
(
ssn
)
Get short URL