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