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

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

most of the research on continuous-time model checking: 2 צירופים, 1 נושאים

תִכנוּת

2