Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄
Terms for subject Programming containing алгоритмы верификации моделей для формул | all forms | exact matches only | in specified order only
RussianEnglish
алгоритмы верификации моделей для формул LTLalgorithms for LTL model checking (ssn)
алгоритмы верификации моделей для формул CTLalgorithms for CTL model checking (ssn)
алгоритмы верификации моделей для формул CTL и для формул LTLalgorithms for CTL model checking, LTL model checking (ssn)
алгоритмы верификации моделей для формул CTL и для формул LTL, а также проверки включения временных омега-автоматовalgorithms for CTL model checking, LTL model checking, and testing inclusion between timed omega automata (ssn)

Get short URL