Deadlock risk assessment in architectural models of real-time systems

Antonio Monzon, José L. Fernández-Sánchez. Deadlock risk assessment in architectural models of real-time systems. In IEEE Fourth International Symposium on Industrial Embedded Systems - SIES 2009, Ecole Polytechnique Federale de Lausanne, Switzerland, July 8 - 10, 2009. pages 181-190, IEEE, 2009. [doi]

@inproceedings{MonzonF09,
  title = {Deadlock risk assessment in architectural models of real-time systems},
  author = {Antonio Monzon and José L. Fernández-Sánchez},
  year = {2009},
  doi = {10.1109/SIES.2009.5196214},
  url = {http://dx.doi.org/10.1109/SIES.2009.5196214},
  tags = {architecture},
  researchr = {https://researchr.org/publication/MonzonF09},
  cites = {0},
  citedby = {0},
  pages = {181-190},
  booktitle = {IEEE Fourth International Symposium on Industrial Embedded Systems - SIES 2009, Ecole Polytechnique Federale de Lausanne, Switzerland, July 8 - 10, 2009},
  publisher = {IEEE},
  isbn = {978-1-4244-4110-5},
}