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

Get short URL