Traduction de "formal techniques" à russe

Formal techniques

• формальные методы

Exemples de traduction

формальные методы

99. The UNU/IIST research project on "Design Techniques for Real Time Systems" aims at investigating formal techniques for the development of real-time systems so that these techniques share a unified foundation.
99. Научно-исследовательский проект УООН/МИПО "Методы разработки для систем реального времени" направлен на изучение формальных методов разработки систем реального времени для обеспечения унифицированной основы таких методов.

The project has investigated duration calculus-based formal techniques in depth and achieved quite impressive results on various aspects of real-time system design, including specification, refinement, scheduling and dependability.
В рамках проекта углубленно изучались основанные на исчислении продолжительности формальные методы и достигнуты весьма впечатляющие результаты по различным аспектам разработки систем реального времени, включая спецификацию, совершенствование, календарное планирование и надежность.