Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications.

Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre

Browse the full ATVA paper archive.