Formal Verification of Fault Tolerance Techniques in UML

Author	Majzik, István
Author	Jávorszky J
Date accessioned	2016-09-04T21:29:46Z
Date available	2016-09-04T21:29:46Z
Date of issue	1999
URI of identifier	http://hdl.handle.net/10890/2595
Language	en
Publisher	Czech Technical University in Prague
Title	Formal Verification of Fault Tolerance Techniques in UML
Document type	egyéb konferenciaközlemény
Identifiers [mtmt]	2614704
Other container identifier	161790
Title of the container document	Dependable computing - EDCC-3. Third European conference. Fast Abstracts
Document genre	absztrakt / kivonat

BME PA dokumentumai [3590]
Lezárt gyűjtemény. Fájlok hozzáférési felülvizsgálata folyamatban. Jelenleg a dokumentumok kizárólag BME-s IP címekről érhetők el.