Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
English
Terms
containing
символьная модель
|
all forms
|
exact matches only
|
in specified order only
Subject
Russian
English
progr.
алгоритм символьной верификации моделей для LTL
LTL symbolic model checking algorithm
(Linear Temporal Logic
ssn
)
progr.
алгоритм символьной верификации моделей для CTL
CTL symbolic model checking algorithm
(Computation Tree Logic
ssn
)
progr.
символьная верификация моделей
symbolic model checking
(
ssn
)
progr.
символьная верификация моделей для LTL
LTL symbolic model checking
(Linear Temporal Logic
ssn
)
progr.
символьная верификация моделей для CTL
CTL 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
Get short URL