Terms containing type of model

Subject	English	Russian
progr.	this type of model is appropriate for synchronous systems, where all of the components are synchronized by a single global clock	Такие модели пригодны для синхронных систем, в которых все компоненты синхронизованы едиными глобальными часами (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)
progr.	this type of model is often used for modelling real-time systems	этот тип модели особенно полезен для моделирования систем реального времени (ssn)
progr.	this type of model is often used for modelling real-time systems because these systems are often driven by stimuli from the system's environment	этот тип модели особенно полезен для моделирования систем реального времени, поскольку этими системами обычно управляют входные сигналы, приходящие из окружения системы (см. Software engineering, 8th ed. / Ian Sommerville 2007)