Formal Verification of Fault Tolerance Techniques in UML
Title | Formal Verification of Fault Tolerance Techniques in UML |
Publication Type | Conference Paper |
Year of Publication | 1999 |
Authors | Majzik, I., and Jávorszky, J. |
Conference Name | Dependable Computing - EDCC-3, Fast Abstracts |
Date Published | 1999 |
Publisher | Czech Technical University |
URL | http://mycite.omikk.bme.hu/doc/16330.pdf |