Inproceedings,

Statistical Runtime Checking of Probabilistic Properties.

, , , and .
RV, volume 4839 of Lecture Notes in Computer Science, page 164-175. Springer, (2007)

Meta data

Tags

Users

  • @davef
  • @dblp

Comments and Reviews