Стохастический зонд - Stochastic probe

В процесс исчисления а стохастический зонд - это измерительное устройство, которое измеряет время между произвольными начальными и конечными событиями в модели алгебры стохастических процессов.[1][2]

Рекомендации

  1. ^ Аргент-Катвала, А .; Брэдли, Дж. Т. (2006). «Спецификация функциональных характеристик со стохастическими пробами» (PDF). Формальные методы и стохастические модели для оценки эффективности. Конспект лекций по информатике. 4054. п. 31. Дои:10.1007/11777830_3. ISBN  978-3-540-35362-1.
  2. ^ Hayden, R.A .; Bradley, J. T .; Кларк, А. (2013). «Технические характеристики и оценка с помощью унифицированных стохастических пробников и анализа жидкости» (PDF). IEEE Transactions по разработке программного обеспечения. 39: 97–118. CiteSeerX  10.1.1.297.5068. Дои:10.1109 / TSE.2012.1.