Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄
Terms containing checking algorithm | all forms | in specified order only
SubjectEnglishRussian
progr.algorithm for type checkingалгоритм проверки типа (см. ISO/IEC 10746-3, ГОСТ Р ИСО/МЭК 10746-3-2001 ssn)
progr.algorithms for CTL model checkingалгоритмы верификации моделей для формул CTL (ssn)
progr.algorithms for CTL model checking, LTL model checkingалгоритмы верификации моделей для формул CTL и для формул LTL (ssn)
progr.algorithms for CTL model checking, LTL model checking, and testing inclusion between timed omega automataалгоритмы верификации моделей для формул CTL и для формул LTL, а также проверки включения временных омега-автоматов (ssn)
progr.algorithms for LTL model checkingалгоритмы верификации моделей для формул LTL (ssn)
media.certificate-checking algorithmалгоритм проверки удостоверения (для доказательства принадлежности задачи распознавания классу NP)
mech.checking algorithmалгоритм контроля
robot.checking algorithmалгоритм проверки
progr.CTL model checking algorithmалгоритм верификации моделей для CTL (ssn)
progr.CTL symbolic model checking algorithmалгоритм символьной верификации моделей для CTL (Computation Tree Logic ssn)
avia.error checking algorithmалгоритм контроля ошибок
mech.interference checking algorithmалгоритм контроля на столкновения (LyuFi)
progr.LTL model checking algorithmалгоритм верификации моделей для LTL (ssn)
progr.LTL symbolic model checking algorithmалгоритм символьной верификации моделей для LTL (Linear Temporal Logic ssn)

Get short URL