алгоритмы верификации моделей для формул CTL и для формул LTL, а также проверки включения временных омега-автоматов – English translation

Sign in | English | Terms of Use

Google | Forvo | +

алгоритмы верификации моделей для формул CTL и для формул LTL, а также проверки включения временных омега-автоматов

algorithms for CTL model checking, LTL model checking, and testing inclusion between timed omega automata (ssn)

Add | Report an error | Get short URL | Language Selection Tips