| Subject | Russian | English |
| progr. | в определении временного автомата мы допускали использование временных ограничений в качестве инвариантов позиций и предохранителей переходов, содержащих произвольные рациональные константы | 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) |
| progr. | временное ограничение инварианта позиции или предохранителя перехода | clock constraint in the invariant of a location or in the guard of a transition (ssn) |
| progr. | инвариант позиции | invariant of a location (ssn) |
| progr. | инвариант позиции | invariant of the location (ssn) |
| automat. | инвариант позиций | location invariant (alexeyaxim) |
| progr. | инвариант этой позиции | invariant of the location (ssn) |
| progr. | инварианты позиций и предохранителей переходов | invariants of locations and the guards of transitions (ssn) |
| progr. | инварианты позиций и предохранителей переходов, содержащие произвольные рациональные константы | invariants of locations and the guards of transitions to contain arbitrary rational constants (ssn) |
| progr. | конъюнкция инвариантов составляющих позиций | conjunction of the invariants of the component locations (ssn) |
| progr. | отображение позиций во временные ограничения, называемое инвариантом позиций | mapping from locations to clock constraints, called the location invariant (ssn) |
| progr. | Течение времени в позиции происходит, пока инвариант этой позиции истинен | 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) |
