Formal Verification of Fault Tolerance Techniques in UML
| Cím | Formal Verification of Fault Tolerance Techniques in UML |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 1999 |
| Szerzők | Majzik, I., and Jávorszky, J. |
| Konferencia neve | Dependable Computing - EDCC-3, Fast Abstracts |
| Kiadás dátuma | 1999 |
| Kiadó | Czech Technical University |
| URL | http://mycite.omikk.bme.hu/doc/16330.pdf |
