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]

Abstract

Abstract is missing.