Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄
Terms containing предполагаться малым | all forms | in specified order only
SubjectRussianEnglish
progr.Время запроса данных у монитора и ожидания ответа предполагается малым по сравнению с общим временем выполнения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)
progr.предполагаться малымbe assumed to be small (ssn)

Get short URL