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

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