Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄ Russian +
Google | Forvo | +
to phrases

LTL symbolic model checking

stresses
progr. символьная верификация моделей для LTL (Linear Temporal Logic ssn)
LTL symbolic model checking
: 2 phrases in 1 subject
Programming2

Add | Report an error | Get short URL