Formal Verification of Fault Tolerance Techniques in UML

Megtekintés/ Megnyitás
Metaadat
Teljes megjelenítés
Link a dokumentumra való hivatkozáshoz:
Gyűjtemény
- BME PA dokumentumai [3590]
- 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