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

формальная семантика временных автоматов מתח
.תִכנו	formal semantics for timed automata (ssn)

формальная семантика временных автоматов: 2 צירופים, 1 נושאים

תִכנוּת

2