英语 ⇄ 俄语 +

related methods for verifying real-time systems 强调
编程	родственные методы верификации систем реального времени (ssn)