Formal Verification of Fault Tolerance Techniques in UML

Thumbnail
View/Open
Metadata
Show full item record
Link to refer to this document:
http://hdl.handle.net/10890/2595
Collections
Title
Formal Verification of Fault Tolerance Techniques in UML
Author
Majzik, István
Jávorszky J
Date of issue
1999
Publisher
Czech Technical University in Prague
Language
en
Identifiers
MTMT: 2614704
Title of the container document
Dependable computing - EDCC-3. Third European conference. Fast Abstracts
Document type
egyéb konferenciaközlemény
Document genre
absztrakt / kivonat