Subject | English | Russian |
el. | A signal that can transition at arbitrary times is considered asynchronous | Сигнал, который может выполнять переходы в любой момент времени, называется асинхронным (см. Digital Integrated Circuits – A Design Perspective 2/e by Jan M. Rabaey, Anantha Chandrakasan, Borivoje Nikolić 2003 ssn) |
el. | arbitrary transition | произвольный переход (ssn) |
el. | arbitrary transitions | произвольные переходы (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. | invariants of locations and the guards of transitions to contain arbitrary rational constants | инварианты позиций и предохранителей переходов, содержащие произвольные рациональные константы (ssn) |