...верификации математических моделей систем реального времени

...верификации математических моделей систем реального времени