Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
Arabic
Chinese
Czech
Danish
English
Estonian
French
German
Hungarian
Italian
Japanese
Latvian
Norwegian Bokmål
Polish
Portuguese
Russian
Spanish
Tajik
Ukrainian
Vietnamese
Terms
for subject
Programming
containing
Омега
|
all forms
|
exact matches only
Russian
English
алгоритмы верификации моделей для формул CTL и для формул LTL, а также проверки включения временных
омега
-автоматов
algorithms for CTL model checking, LTL model checking, and testing inclusion between timed omega automata
(
ssn
)
алгоритмы проверки включения временных
омега
-автоматов
algorithms for testing inclusion between timed omega automata
(
ssn
)
временной
омега
-автомат
timed omega automaton
(
ssn
)
временные
омега
-автоматы
timed omega automata
(
ssn
)
омега
-непротиворечивость
omega-consistence
(
ssn
)
проверка включения временных
омега
-автоматов
testing inclusion between timed omega automata
(
ssn
)
сеть
омега
omega network
(
ssn
)
схема коммутации
омега
omega switching network
(
ssn
)
Get short URL