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

большая часть исследований по верификации с непрерывным временем מתח
.תִכנו	most of the research on continuous-time model checking (ssn)

большая часть исследований по верификации с непрерывным временем: 2 צירופים, 1 נושאים

תִכנוּת

2