clock constraint

Terms containing clock constraint | all forms | exact matches only | in specified order only

Subject	English	Russian
progr.	clock constraint	временное ограничение (ssn)
progr.	clock constraint in the invariant of a location or in the guard of a transition	временное ограничение инварианта позиции или предохранителя перехода (ssn)
progr.	the transition can be taken only if the current values of the clocks satisfy the clock constraint	Переход может быть совершен, только если текущие показания часов удовлетворяют временному ограничению (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999)