Characterizing Fault-Tolerant Systems by Means of Simulation Relations
| Title | Characterizing Fault-Tolerant Systems by Means of Simulation Relations |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Demasi, R, Castro, PF, Maibaum, TSE, Aguirre, N |
| Conference Name | Integrated Formal Methods, 10th International Conference, IFM 2013 |
| Date Published | 06/2013 |
| Publisher | Springer |
| Conference Location | Turku, Finland |
| Refereed Designation | Refereed |
Work Package:
WP5
