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

formally model computer software מתח
.תִכנו	формальное моделирование программного обеспечения компьютера (ssn); формальное моделирование программного обеспечения ЭВМ (ssn)