Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Chinese
Japanese
Russian
Terms
containing
symbolic model
|
all forms
|
exact matches only
|
in specified order only
Subject
English
Russian
progr.
CTL
symbolic model
checking
символьная верификация моделей для CTL
(Computation Tree Logic
ssn
)
progr.
CTL
symbolic model
checking algorithm
алгоритм символьной верификации моделей для CTL
(Computation Tree Logic
ssn
)
progr.
LTL
symbolic model
checking
символьная верификация моделей для LTL
(Linear Temporal Logic
ssn
)
progr.
LTL
symbolic model
checking algorithm
алгоритм символьной верификации моделей для LTL
(Linear Temporal Logic
ssn
)
AI.
symbolic AI model
символьный подход к искусственному интеллекту
(
Alex_Odeychuk
)
AI.
symbolic AI model
символьная модель искусственного интеллекта
(
Alex_Odeychuk
)
progr.
symbolic model
символьная модель
(
ssn
)
el.
symbolic model
символическая модель
(напр. процесса мышления)
IT
symbolic model
символическая модель
math.
symbolic model
математическая модель
progr.
symbolic model
checker
средство символьной верификации моделей
(
Alex_Odeychuk
)
progr.
symbolic model
checking
символьная верификация моделей
(
ssn
)
progr.
symbolic model
-checking techniques
символьные методы верификации моделей
(
ssn
)
progr.
symbolic model
verifier
символьный верификатор моделей
(сокр. SMV
ssn
)
progr.
symbolic-form model
символическая модель
(напр., процесса мышления
ssn
)
el.
symbolic-form model
символическая модель
(напр. процесса мышления)
progr.
symbolic-form model
математическая модель
(
ssn
)
tech.
symbolic-form model
описательная модель
Get short URL