Automated Dependability Analysis of UML Designs

Andrea Bondavalli, Ivan Mura, István Majzik. Automated Dependability Analysis of UML Designs. In 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 99), May 2-5, 1999, Saint Malo, France. pages 139, IEEE Computer Society, 1999. [doi]

@inproceedings{BondavalliMM99:0,
  title = {Automated Dependability Analysis of UML Designs},
  author = {Andrea Bondavalli and Ivan Mura and István Majzik},
  year = {1999},
  url = {http://csdl.computer.org/comp/proceedings/isorc/1999/0207/00/02070139abs.htm},
  tags = {analysis, UML},
  researchr = {https://researchr.org/publication/BondavalliMM99%3A0},
  cites = {0},
  citedby = {0},
  pages = {139},
  booktitle = {2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC  99), May 2-5, 1999, Saint Malo, France},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-0207-5},
}