Terms containing верификация систем реального времени

Subject	Russian	English
progr.	верификация систем непрерывного реального времени	verifying continuous real-time systems (ssn)
progr.	верификация систем реального времени	verifying real-time systems (ssn)
progr.	верификация систем реального времени	real-time system verification (ssn)
progr.	инструментальные средства разработки и верификации систем жёсткого реального времени с особыми требованиями по технической безопасности	development and verification tools for safety- and mission-critical systems (корпорации AdaCore Alex_Odeychuk)
progr.	метод спецификации и верификации дискретных систем реального времени	method for specifying and verifying discrete real-time systems (ssn)
progr.	методы верификации систем непрерывного реального времени	methods for verifying continuous real-time systems (ssn)
progr.	родственные методы верификации систем реального времени	related methods for verifying real-time systems (ssn)