英语 ⇄ 俄语 +

verification technique for embedded systems 强调
编程	метод формальной верификации встроенных систем (illinois.edu Alex_Odeychuk)