Formal Verification of Fault Tolerance Techniques in UML

TitleFormal Verification of Fault Tolerance Techniques in UML
Publication TypeConference Paper
Year of Publication1999
AuthorsMajzik, I., and Jávorszky, J.
Conference NameDependable Computing - EDCC-3, Fast Abstracts
Date Published1999
PublisherCzech Technical University
URLhttp://mycite.omikk.bme.hu/doc/16330.pdf