Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄
Terms for subject Programming containing предыдущее событие | all forms | exact matches only | in specified order only
RussianEnglish
в предыдущей главе мы предполагали, что время дискретно. в этом случае возможные показания часов задаются неотрицательными целыми числами и события могут происходить только в целочисленные моменты времени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)
метод запоминания предыдущих событийway to remember previous events (состояния ssn)
последовательность предыдущих событийsequence of previous events (ssn)
предыдущее событие измерения времениprevious timed event (ssn)
предыдущие события измерения времениprevious timed events (ssn)
реакции на будущие события зависят от предыдущих событийresponses to future events depend upon previous events (ssn)
реакция на определённое событие зависит от последовательности предыдущих событийresponse to a particular event depends on the sequence of previous events (ssn)
список предыдущих событий измерения времениlist of previous timed events (ssn)

Get short URL