 |
алгоритмы верификации моделей для формул CTL и для формул
| а также
| проверки включения
| временных
- einzelne Wörter gefunden| алгоритмы верификации моделей для формул CTL и для формул LTL | |
| Progr. | algorithms for CTL model checking, LTL model checking |
| а также | |
| Allg. | as well as; and what is more; plus; as also; along with |
| Geschäftsvokab. | coupled with; on a separate note |
| kont. | and |
| Recht. | and be it further |
| проверка включения | |
| Progr. | testing inclusion |
| временной | |
| veralt. | provisionary |
| |||
| algorithms for CTL model checking, LTL model checking (ssn) | |||
| алгоритмы верификации моделей для формул CTL и для формул LTL, а также проверки включения временных: 1 Phrase in 1 Thematik |
| Programmierung | 1 |