Sign in | English | Terms of Use
DictionaryForumContacts

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