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

methods for verifying continuous real-time systems מתח
.תִכנו	методы верификации систем непрерывного реального времени (ssn)