Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Russian
Terms
containing
timed omega automaton
|
all forms
|
in specified order only
Subject
English
Russian
progr.
algorithms for CTL model checking, LTL model checking, and testing inclusion between
timed omega automata
алгоритмы верификации моделей для формул CTL и для формул LTL, а также проверки включения временных омега-автоматов
(
ssn
)
progr.
algorithms for testing inclusion between
timed omega automata
алгоритмы проверки включения временных омега-автоматов
(
ssn
)
progr.
testing inclusion between
timed omega automata
проверка включения временных омега-автоматов
(
ssn
)
progr.
timed omega automata
временные омега-автоматы
(
ssn
)
progr.
timed omega automaton
временной омега-автомат
(
ssn
)
Get short URL