PDF:
Evaluation of Fault Tolerance Mechanisms with Model Checking
| Title | Evaluation of Fault Tolerance Mechanisms with Model Checking |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Molnár, V., and Majzik, I. |
| Editor | Pataki, B. |
| Conference Name | Proceedings of the 23rd PhD Mini-Symposium |
| Conference Location | Budapest, Hungary |
| ISBN Number | 978-963-313-220-3 |
