Sign in | English | Terms of Use
DictionaryForumContacts

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

Get short URL