Ruso ⇄ Inglés

символьная верификация моделей для LTL acentos
progr.	LTL symbolic model checking (Linear Temporal Logic ssn)
символьная верификация моделей для CTL
progr.	CTL symbolic model checking (Computation Tree Logic ssn)

символьная верификация моделей для: 3 a las frases, 1 temas

Programación

3