英语 ⇄ 俄语 +

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