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

properties of timed automata מתח
.תִכנו	свойства временных автоматов (ssn)