Debugging Time Behavior of Probabilistic Real-time Systems

Entrialgo, J.; García, J.; Díaz, J.L.; García, D.F.

Debugging Time Behavior of Probabilistic Real-time Systems (bibtex)

@inproceedings{entrialgo2004debugging,
  title={Debugging Time Behavior of Probabilistic Real-time Systems},
  author={Entrialgo, J. and García, J. and Díaz, J.L. and García, D.F.},
  booktitle={Probabilistic Analysis Techniques for Real-time and Embedded Systems ({PARTES})},
  year={2004},
  organization={ACM},
  type        = {research},
  url={http://www.atc.uniovi.es/rsa/starts/documents/Entrialgo_2004_partes.pdf}
}