Terms containing synchronized model

Subject	English	Russian
mil., arm.veh.	synchronized model	модель напр. коробки передач с синхронизатором
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)