Loading article…
プロセス計算において、確率プローブは、確率過程代数モデル上の任意の開始イベントと終了イベント間の時間を測定する測定装置である。[1] [2]
参考文献
- ^ Argent-Katwala, A.; Bradley, JT (2006). 「確率的プローブによる機能的パフォーマンス仕様」(PDF) .パフォーマンス評価のための形式手法と確率的モデル. コンピュータサイエンスの講義ノート。第 4054 巻。p. 31。doi : 10.1007/ 11777830_3。ISBN 978-3-540-35362-1。
- ^ Hayden, RA; Bradley, JT; Clark, A. (2013). 「統合された確率的プローブと流体解析によるパフォーマンス仕様と評価」(PDF) . IEEE Transactions on Software Engineering . 39 : 97–118. CiteSeerX 10.1.1.297.5068 . doi :10.1109/TSE.2012.1. S2CID 584883.