| English | Russian |
| A guarded signal is assigned values under the control of boolean-valued guard expressions or guards | Присваивание значений защищённому сигналу происходит под управлением выражений защиты или защит, вырабатывающих логическое значение (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual ssn) |
| A timed automaton is a finite automaton augmented with a finite set of real-valued clocks | Временной автомат представляет собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| to be a finite automaton augmented with a finite set of real-valued clocks | представлять собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (ssn) |
| boolean-valued function | булевозначная функция (ssn) |
| boolean-valued guard expression | булевозначное выражение защиты (ssn) |
| boolean-valued guard expression | выражение защиты, вырабатывающее логическое значение (ssn) |
| boolean-valued guard expressions | булевозначные выражения защиты (ssn) |
| boolean-valued guard expressions | выражения защиты, вырабатывающие логическое значение (ssn) |
| client-valued functionality | функциональность, определяемая и приоритезируемая клиентом (ssn) |
| complex valued vector | комплексный вектор (ssn) |
| edge-valued binary decision diagram | рёберно-значная бинарная решающая диаграмма (ssn) |
| edge-valued binary decision diagram | РЗБРД (ssn) |
| edge-valued binary decision tree | рёберно-значное бинарное дерево решений (в моделировании логических схем ssn) |
| edge-valued binary decision tree | РЗБДР (ssn) |
| finite automaton augmented with a finite set of real-valued clocks | конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (ssn) |
| finite set of real-valued clocks | конечный набор часов, принимающих действительные значения (ssn) |
| function-valued expression | выражение со значениями функционального типа (Alex_Odeychuk) |
| multi-valued | многоэлементный (ssn) |
| multi-valued | многозначный (ssn) |
| multi-valued | имеющий множество значений (ssn) |
| multi-valued array | многоэлементный массив (ssn) |
| multi-valued relation | многозначное отношение (ssn) |
| multi-valued variable | многоэлементная переменная (ssn) |
| multiple valued item | элемент с множественным значением (ssn) |
| multiple valued logic | многозначная логика (ssn) |
| output variable which may be multi-valued | выходная переменная, которая может быть многоэлементной (ssn) |
| output variables which may be multi-valued | выходные переменные, которые могут быть многоэлементными (ssn) |
| real-valued clock | часы, принимающие действительные значения (ssn) |
| result which may be a multi-valued array | результат, который может быть многоэлементным массивом (ssn) |
| result which may be a one-data element or a multi-valued array or structure | результат, который может быть одним элементом, многоэлементным массивом или структурой (ssn) |
| string-valued function | строковая функция (ssn) |
| string-valued functions | строковые функции (ssn) |
| table-valued | с табличным значением (table-valued function – функция с табличным значением Alex_Odeychuk) |
| temporary result which may be a multi-valued array | временный результат, который может быть многоэлементным массивом (ssn) |
| temporary result which may be a one-data element or a multi-valued array or structure | временный результат, который может быть одним элементом, многоэлементным массивом или структурой (ssn) |
| three-valued compare function | трёхзначная функция сравнения (ssn) |
| valued property | свойство, передаваемое по значению (ssn) |
| variable which may be multi-valued | переменная, которая может быть многоэлементной (ssn) |
