Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄
Terms for subject Programming containing системы с конечным числом состояний | all forms | exact matches only | in specified order only
RussianEnglish
алгоритмы вычисления множества достижимых состояний для систем с конечным числом состоянийalgorithms for computing the set of reachable states of a finite-state system (ssn)
бесконечные семейства систем с конечным числом состоянийinfinite families of finite-state systems (ssn)
верификация систем с конечным числом состоянийverification of finite-state systems (ssn)
другие подходы к анализу составления расписаний включают алгоритмы вычисления множества достижимых состояний для систем с конечным числом состоянийOther approaches to schedulability analysis include algorithms for computing the set of reachable states of a finite-state system (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999)
любая система, представимая основной моделью с конечным числом состоянийevery system representable by the basic finite-state model (ssn)
поведение системы с конечным числом состоянийbehavior of a finite-state model (ssn)
поведение системы с конечным числом состоянийbehavior of a finite-state machine (ssn)
Поведение системы с конечным числом состояний не зависит от способа кодирования выходаthe behavior of a finite-state model is not affected by the specifics of the output encoding (см. Black-box Testing: Techniques for Functional Testing of Software and Systems / Beizer, Boris 1995)
Поведение системы с конечным числом состояний не меняется при изменении входного кодированияthe behavior of a finite-state machine is not changed by changing the input encoding (см. Black-box Testing: Techniques for Functional Testing of Software and Systems / Beizer, Boris 1995)
Поведение системы с конечным числом состояний не меняется при изменении способа кодирования состоянийthe behavior of a finite-state machine is not changed by changing the state encoding (см. Black-box Testing: Techniques for Functional Testing of Software and Systems / Beizer, Boris 1995)
реагирующая система с конечным числом состоянийfinite state reactive system (ssn)
реагирующие системы с конечным числом состоянийfinite state reactive systems (ssn)
система, представимая основной моделью с конечным числом состоянийsystem representable by the basic finite-state model (ssn)
система с конечным числом состоянийfinite-state model (ssn)
система с конечным числом состоянийfinite-state system (ssn)
системы с конечным числом состоянийfinite-state systems (ssn)
Системы с конечным числом состояний как метод управления, который может использоваться для ввода в действие форм поведения несобственных персонажейFinite-state systems as a control technique that can be used to drive the behaviors of NPCs (ssn)
тестирование систем с конечным числом состоянийfinite-state testing (ssn)

Get short URL