Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄
Terms for subject Programming containing target locations | all forms | exact matches only | in specified order only
EnglishRussian
composite location obtained from the target locations of the individual transitionsсоставная позиция, полученная из целевых позиций отдельных переходов (ssn)
source and target locationsисходные и целевые позиции (ssn)
source and target locations of the original transitionисходные и целевые позиции рассматриваемого перехода (ssn)
target locationцелевая позиция (ssn)
target locationsцелевые позиции (ssn)
target locations of the individual transitionsцелевые позиции отдельных переходов (ssn)
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)

Get short URL