English | Russian |
location in time | положение во времени (интервал произвольного размера во времени, на котором может происходить действие. См. ISO/IEC 10746-2, ГОСТ Р ИСО/МЭК 10746-2-2000 ssn) |
Location in time: An interval of arbitrary size in time at which an action can occur | Положение во времени: интервал произвольного размера во времени, на котором может происходить действие (см. ISO/IEC 10746-2, ГОСТ Р ИСО/МЭК 10746-2-2000 ssn) |
location in time and space | местоположение во времени и пространстве (ssn) |
Time can elapse in the location only as long as the invariant of the location is true | Течение времени в позиции происходит, пока инвариант этой позиции истинен (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |