Probabilistic Approaches for Time Critical Embedded Systems

Liliana Cucu-Grosjean. Probabilistic Approaches for Time Critical Embedded Systems. In Belgacem Ben Hedia, Florin Popentiu-Vladicescu, editors, Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, Bucharest, Romania, September 10-11, 2015. Volume 1431 of CEUR Workshop Proceedings, pages 37-38, CEUR-WS.org, 2015. [doi]

@inproceedings{Cucu-Grosjean15,
  title = {Probabilistic Approaches for Time Critical Embedded Systems},
  author = {Liliana Cucu-Grosjean},
  year = {2015},
  url = {http://ceur-ws.org/Vol-1431/paper4.pdf},
  researchr = {https://researchr.org/publication/Cucu-Grosjean15},
  cites = {0},
  citedby = {0},
  pages = {37-38},
  booktitle = {Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, Bucharest, Romania, September 10-11, 2015},
  editor = {Belgacem Ben Hedia and Florin Popentiu-Vladicescu},
  volume = {1431},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}