DictionaryForumContacts

   Russian
Terms containing контролируемый по времени | all forms | in specified order only
SubjectRussianEnglish
progr.контролируемая по времени системаtime-based system (ssn)
progr.контролируемое по времени развёртываниеtimed deployment (ssn)
progr.контролируемое по времени событиеtimed event (ssn)
telecom.контролируемый по времениtime monitored (oleg.vigodsky)
ITконтролируемый по времениtime-based
progr.контролируемый по времениtime-controlled (из кн.: Томас Д., Хэнссон Д.Х. Гибкая разработка веб-приложений в среде Rails Alex_Odeychuk)
progr.контролируемый по времениtimed (ssn)
progr.поведение контролируемой по времени системыbehavior of a time-based system (ssn)
progr.Таким образом, утверждения / свойства позволяют описывать поведение контролируемой по времени системы в формальной и строгой формеThus, assertions/properties allow you to describe the behavior of a time-based system in a formal and rigorous manner (см. 'The Design Warrior's Guide to FPGAs' by Clive "Max" Maxfield 2004)