машинное время machining time, machining-cycle time; direct manufacture time; computing time; computed machine time; effective cutting time; chip-cutting time, chip-making time; processing time; productive time; run time, running time
машинное время конкретного пользователя available machine time (для работы)