Towards Probabilistic Modeling and Analysis of Real-Time Systems

Laura Carnevali, Luca Santinelli, Giuseppe Lipari. Towards Probabilistic Modeling and Analysis of Real-Time Systems. In Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke, editors, Computer Performance Engineering - 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings. Volume 11178 of Lecture Notes in Computer Science, pages 157-172, Springer, 2018. [doi]

@inproceedings{CarnevaliSL18,
  title = {Towards Probabilistic Modeling and Analysis of Real-Time Systems},
  author = {Laura Carnevali and Luca Santinelli and Giuseppe Lipari},
  year = {2018},
  doi = {10.1007/978-3-030-02227-3_11},
  url = {https://doi.org/10.1007/978-3-030-02227-3_11},
  researchr = {https://researchr.org/publication/CarnevaliSL18},
  cites = {0},
  citedby = {0},
  pages = {157-172},
  booktitle = {Computer Performance Engineering - 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings},
  editor = {Rena Bakhshi and Paolo Ballarini and Benoît Barbot and Hind Castel-Taleb and Anne Remke},
  volume = {11178},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-02227-3},
}