location guards – phrases

Terms for subject Programming containing location guards | all forms

English	Russian
clock constraint in the invariant of a location or in the guard of a transition	временное ограничение инварианта позиции или предохранителя перехода (ssn)
in the definition of timed automaton, we allowed the clock constraints that serve as the invariants of locations and the guards of transitions to contain arbitrary rational constants	в определении временного автомата мы допускали использование временных ограничений в качестве инвариантов позиций и предохранителей переходов, содержащих произвольные рациональные константы (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999)
invariants of locations and the guards of transitions	инварианты позиций и предохранителей переходов (ssn)
invariants of locations and the guards of transitions to contain arbitrary rational constants	инварианты позиций и предохранителей переходов, содержащие произвольные рациональные константы (ssn)