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

verification technique for embedded systems מתח
.תִכנו	метод формальной верификации встроенных систем (illinois.edu Alex_Odeychuk)