DictionaryForumContacts

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