DictionnaireLe forumContacts

   Anglais +
Google | Forvo | +

symbolic model verifier

contraintes
progr. символьный верификатор моделей (сокр. SMV ssn)
 Anglais glossaire
Symbolic Model Verifier
abrév., progr. SMV (ssn)