the time to request data from a monitor task and wait for the response is assumed to be small compared to the total execution time – російський переклад

Вхід | Ukrainian | Угода користувача

Словники

Google | Forvo | +

the time to request data from a monitor task and wait for the response is assumed to be small compared to the total execution time

наголоси

Время запроса данных у монитора и ожидания ответа предполагается малым по сравнению с общим временем выполнения (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999)

Додати | Повідомити про помилку | Коротке посилання | Способи вибору мов