Terms containing allow operator

Subject	English	Russian
progr.	A simple and effective way to allow the verification of time bounded properties is to introduce bounds in the CTL temporal operators	Простой и эффективный способ, позволяющий верифицировать свойства с ограничениями по времени, состоит в том, чтобы внести эти ограничения в темпоральные операторы CTL (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)
telecom.	allow an operator	позволять оператору (oleg.vigodsky)
telecom.	allow operator	позволять оператору (oleg.vigodsky)
telecom.	allow the operator	позволять оператору (oleg.vigodsky)
automat.	function which allows an operator to observe the status and performance of a control loop	функция, позволяющая оператору следить за состоянием и работой контура управления (ssn)