Subject | English | Russian |
transp. | basic duration | длительность импульса (напр. при подаче сигнала для срабатывания системы) |
automat. | basic duration | длительность импульса (подаваемого на вход привода) |
progr. | the duration between successive clock ticks is chosen as the basic unit for measuring time | в качестве единицы измерения времени выбирается продолжительность времени между двумя последовательными тиками часов (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |