DictionaryForumContacts

Terms containing from the source | all forms | exact matches only | in specified order only
SubjectEnglishRussian
progr.composite location obtained from the source locations of the individual transitionsсоставная позиция, полученная из исходных позиций отдельных переходов (ssn)
electric.separate the person from the source of electric currentосвободить пострадавшего от действия тока (Tverskaya)
progr.the source and target locations of these transitions will be obtained from the source and target locations of the original transition and the location from the other automatonИсходные и целевые позиции таких переходов будут получены из исходных и целевых позиций рассматриваемого перехода и позиции второго автомата (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999)
progr.the source location of the transition will be the composite location obtained from the source locations of the individual transitionsИсходной позицией этого перехода будет составная позиция, полученная из исходных позиций отдельных переходов (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999)

Get short URL