Florian Leitner-Fischer, Stefan Leue
QuantUM: Quantitative Safety Analysis of UML Models
QAPL, 2011.
@inproceedings{QAPL-2011-LeitnerFischerL, author = "Florian Leitner-Fischer and Stefan Leue", booktitle = "{Proceedings of the Ninth Workshop on Quantitative Aspects of Programming Languages}", doi = "10.4204/EPTCS.57.2", pages = "16--30", series = "{EPTCS}", title = "{QuantUM: Quantitative Safety Analysis of UML Models}", volume = 57, year = 2011, }