英语 ⇄ 俄语 +

research in the area of safety-critical software development 强调
编程	научные исследования в сфере разработки программного обеспечения с особыми требованиями по технической безопасности (Alex_Odeychuk); научные исследования в сфере разработки программного обеспечения с особыми требованиями по функциональной безопасности (корпорации AdaCore Alex_Odeychuk)