Non-markovian analysis for model driven engineering of real-time software

Laura Carnevali, Marco Paolieri, Alessandro Santoni, Enrico Vicario. Non-markovian analysis for model driven engineering of real-time software. In Seetharami Seelam, Petr Tuma, Giuliano Casale, Tony Field, José Nelson Amaral, editors, ACM/SPEC International Conference on Performance Engineering, ICPE'13, Prague, Czech Republic - April 21 - 24, 2013. pages 113-124, ACM, 2013. [doi]

@inproceedings{CarnevaliPSV13,
  title = {Non-markovian analysis for model driven engineering of real-time software},
  author = {Laura Carnevali and Marco Paolieri and Alessandro Santoni and Enrico Vicario},
  year = {2013},
  doi = {10.1145/2479871.2479889},
  url = {http://doi.acm.org/10.1145/2479871.2479889},
  researchr = {https://researchr.org/publication/CarnevaliPSV13},
  cites = {0},
  citedby = {0},
  pages = {113-124},
  booktitle = {ACM/SPEC International Conference on Performance Engineering, ICPE'13, Prague, Czech Republic - April 21 - 24, 2013},
  editor = {Seetharami Seelam and Petr Tuma and Giuliano Casale and Tony Field and José Nelson Amaral},
  publisher = {ACM},
  isbn = {978-1-4503-1636-1},
}