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 |
