Formal Verification of Fault Tolerance Techniques in UML

Thumbnail
Megtekintés/Megnyitás
Metaadat
Teljes megjelenítés
Link a dokumentumra való hivatkozáshoz:
http://hdl.handle.net/10890/2595
Gyűjtemény
Cím és alcím
Formal Verification of Fault Tolerance Techniques in UML
Szerző
Majzik, István
Jávorszky J
Megjelenés ideje
1999
Kiadó
Czech Technical University in Prague
Nyelv
en
Egyéb azonosítók
MTMT: 2614704
A cikket/könyvrészletet tartalmazó dokumentum címe
Dependable computing - EDCC-3. Third European conference. Fast Abstracts
Dokumentumtípus
egyéb konferenciaközlemény
Műfaj
absztrakt / kivonat