Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄
Terms containing simple time | all forms | in specified order only
SubjectEnglishRussian
progr.A simple and effective way to allow the verification of time bounded properties is to introduce bounds in the CTL temporal operatorsПростой и эффективный способ, позволяющий верифицировать свойства с ограничениями по времени, состоит в том, чтобы внести эти ограничения в темпоральные операторы CTL (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)
gen.it is time that + simple pastпора́ ("I think it is time now that we took our friend Lestrade into our confidence." (Sir Arthur Conan Doyle) ART Vancouver)
el.simple doubling timeвремя простого удвоения
telecom.simple net time protocolпростой протокол сетевого времени (ssn)
ITsimple network time protocolпростой сетевой протокол синхронизации времени (Bricker)
telecom.simple network time protocolпростой протокол сетевого времени (ssn)
econ.simple payback timeпростой срок окупаемости (igisheva)
econ.simple pay-back timeпростой период окупаемости (igisheva)
econ.simple pay-back timeпростой срок окупаемости (igisheva)
econ.simple pay-back timeпростое время окупаемости (igisheva)
econ.simple payback timeпростой период окупаемости (igisheva)
econ.simple payback timeпростое время окупаемости (igisheva)
avia., med.simple motor reaction timeвремя простой двигательной реакции
auto.ctrl.simple representation of discrete-time systemпростое представление дискретной системы (ssn)
mus.simple timeпростой размер

Get short URL