Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄ English
Google | Forvo | +
to phrases
символьная верификация моделей для LTLstresses
progr. LTL symbolic model checking (Linear Temporal Logic ssn)
символьная верификация моделей для CTL
progr. CTL symbolic model checking (Computation Tree Logic ssn)
символьная верификация моделей для: 3 phrases in 1 subject
Programming3

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