source locations of the individual transitions

Terms containing source locations of the individual transitions | all forms | in specified order only

Subject	English	Russian
progr.	composite location obtained from the source locations of the individual transitions	составная позиция, полученная из исходных позиций отдельных переходов (ssn)
progr.	source locations of the individual transitions	исходные позиции отдельных переходов (ssn)
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)