Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications
| Title | Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Demasi, R, Castro, PF, Maibaum, TSE, Aguirre, N |
| Conference Name | Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013 |
| Date Published | 10/2013 |
| Publisher | Springer |
| Conference Location | Hanoi, Vietnam |
| Refereed Designation | Refereed |
Work Package:
WP5
