| Subject | English | Russian |
| progr. | 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) |
| progr. | algorithms for CTL model checking, LTL model checking, and testing inclusion between timed omega automata | алгоритмы верификации моделей для формул CTL и для формул LTL, а также проверки включения временных омега-автоматов (ssn) |
| progr. | algorithms for testing inclusion between timed omega automata | алгоритмы проверки включения временных омега-автоматов (ssn) |
| progr. | definition of timed automata | определение временных автоматов (ssn) |
| progr. | definition of timed automaton | определение временного автомата (ssn) |
| progr. | each pair of transitions from the individual timed automata | каждая пара переходов отдельных временных автоматов (ssn) |
| progr. | finite representation for the infinite state space of a timed automaton | конечное представление бесконечного пространства состояний временного автомата (ssn) |
| progr. | formal semantics for timed automata | формальная семантика временных автоматов (ssn) |
| progr. | formal semantics for timed automata in terms of infinite state transition graphs | формальная семантика временных автоматов в терминах графов переходов с бесконечным числом состояний (ssn) |
| progr. | if the action of a transition is only an action of one of the two processes, then there will be a transition in the parallel composition for each location of the other timed automaton | если действием некоторого перехода будет действие только одного из двух процессов, то для каждой позиции второго временного автомата в параллельной композиции будет совместный переход (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| 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. | individual timed automata | отдельные временные автоматы (ssn) |
| progr. | individual timed automaton | отдельный временной автомат (ssn) |
| progr. | modeling with timed automata | моделирование временными автоматами (ssn) |
| progr. | parallel compositions of timed automata | параллельные композиции временных автоматов (ssn) |
| progr. | properties of timed automata | свойства временных автоматов (ssn) |
| progr. | same location of the timed automaton | одна и та же позиция временного автомата (ssn) |
| progr. | simple timed automaton | простой временной автомат (ssn) |
| progr. | testing inclusion between timed omega automata | проверка включения временных омега-автоматов (ssn) |
| progr. | timed automata | временные автоматы (ssn) |
| progr. | timed automata | синхронные автоматы (ssn) |
| automat. | timed automata model | модель временных автоматов (alexeyaxim) |
| automat. | timed automaton | временной автомат (alexeyaxim) |
| progr. | timed automaton | синхронный автомат (ssn) |
| progr. | timed automaton for the processing station | временной автомат для обрабатывающего устройства (ssn) |
| progr. | timed automaton with two clocks | временной автомат с парой часов (ssn) |
| progr. | timed omega automata | временные омега-автоматы (ssn) |
| progr. | timed omega automaton | временной омега-автомат (ssn) |