DictionaryForumContacts

   Russian
Terms containing символьная модель | all forms | exact matches only | in specified order only
SubjectRussianEnglish
progr.алгоритм символьной верификации моделей для LTLLTL symbolic model checking algorithm (Linear Temporal Logic ssn)
progr.алгоритм символьной верификации моделей для CTLCTL symbolic model checking algorithm (Computation Tree Logic ssn)
progr.символьная верификация моделейsymbolic model checking (ssn)
progr.символьная верификация моделей для LTLLTL symbolic model checking (Linear Temporal Logic ssn)
progr.символьная верификация моделей для CTLCTL symbolic model checking (Computation Tree Logic ssn)
progr.символьная модельsymbolic model (ssn)
AI.символьная модель искусственного интеллектаsymbolic AI model (Alex_Odeychuk)
progr.символьные методы верификации моделейsymbolic model-checking techniques (ssn)
progr.символьный верификатор моделейsymbolic model verifier (сокр. SMV ssn)
progr.средство символьной верификации моделейsymbolic model checker (Alex_Odeychuk)
tech.цепочно-символьная модельstream-of-characters model
comp.цепочно-символьная модельstream of characters model