Terms for subject Programming containing set of clocks

English	Russian
a set of clock variables	множество переменных-часов (ssn)
a set of clocks	множество часов (ssn)
A timed automaton is a finite automaton augmented with a finite set of real-valued clocks	Временной автомат представляет собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)
to be a finite automaton augmented with a finite set of real-valued clocks	представлять собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (ssn)
finite automaton augmented with a finite set of real-valued clocks	конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (ssn)
finite set of real-valued clocks	конечный набор часов, принимающих действительные значения (ssn)
set of clock assignments	множество показаний часов (ssn)
set of clock constraints	множество временных ограничений (ssn)
set of clocks	множество часов (ssn)
set of clocks that are reset	множество сбрасываемых часов (ssn)
the set of clocks that are reset will be the union of the sets that are reset by the individual transitions	множеством сбрасываемых часов будет объединение множеств часов, сбрасываемых на этих отдельных переходах (ssn)