| № |
Элемент
|
Количество документов |
|---|---|---|
| 1 | автоматное программирование (>>>) | 1 |
| 2 | Вычислительные машины электронные — Программы (>>>) | 1 |
| 3 | граф переходов состояний (>>>) | 1 |
| 4 | методы верификации (>>>) | 1 |
| 5 | обусловленные регулярные выражения (>>>) | 1 |
| 6 | реагирующие системы (>>>) | 1 |
| 7 | automata-based programming (>>>) | 1 |
| 8 | conditional regular expressions (>>>) | 1 |
| 9 | reactive systems (>>>) | 1 |
| 10 | state transition graph (>>>) | 1 |
| 11 | verification methods (>>>) | 1 |
Фасет 'Тематика'
Фильтр: Тематика:conditional regular expressions