Automated Dependability Analysis of UML Designs.

Andrea Bondavalli, Ivan Mura, Istvn Majzik

Browse the full ISORC paper archive.