A Modular Approach for Model-Based Dependability Evaluation of a Class of Systems

Stefano Porcarelli, Felicita Di Giandomenico, Paolo Lollini, Andrea Bondavalli. A Modular Approach for Model-Based Dependability Evaluation of a Class of Systems. In Miroslaw Malek, Manfred Reitenspieß, Jörg Kaiser, editors, Service Availability, First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers. Volume 3335 of Lecture Notes in Computer Science, pages 160-174, Springer, 2004. [doi]

@inproceedings{PorcarelliGLB04,
  title = {A Modular Approach for Model-Based Dependability Evaluation of a Class of Systems},
  author = {Stefano Porcarelli and Felicita Di Giandomenico and Paolo Lollini and Andrea Bondavalli},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3335&spage=160},
  tags = {rule-based, systematic-approach},
  researchr = {https://researchr.org/publication/PorcarelliGLB04},
  cites = {0},
  citedby = {0},
  pages = {160-174},
  booktitle = {Service Availability, First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers},
  editor = {Miroslaw Malek and Manfred Reitenspieß and Jörg Kaiser},
  volume = {3335},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-24420-4},
}