אנגלית ⇄ רוסית

continuous-time model checking מתח
.תִכנו	верификация с непрерывным временем (моделей ssn)

continuous-time model checking: 3 צירופים, 1 נושאים

תִכנוּת

3