 |
algorithms for CTL model checking, LTL model checking
| and
| testing inclusion
| between
| timed
| omega
| au
- only individual words found| algorithms for CTL model checking, LTL model checking | |
| progr. | алгоритмы верификации моделей для формул CTL и для формул LTL |
| and | |
| gen. | и; а |
| testing inclusion | |
| progr. | проверка включения |
| between | |
| el. | промежуточное состояние |
| timed | |
| gen. | синхронный |
| omega | |
| gen. | w-мезон |
| Au | |
| tech. | золото |
| |||
| алгоритмы верификации моделей для формул CTL и для формул LTL (ssn) | |||
| algorithms for CTL model checking, LTL model checking , and testing inclusion between timed omega: 1 phrase in 1 subject |
| Programming | 1 |