Simulation relations for fault-tolerance - Demasi, Ramiro; Castro, Pablo F.; Maibaum, Thomas S. E.; Aguirre, Nazareno (Formal aspects of computing, 2017)
Keywords: Computer Science; Computer simulation; Fault tolerance; Faults; Masking; Math Applications in Computer Science; Original Article; Properties (attributes); Safety; Simulation; Theory of Computation; Fault-tolerance; Formal specification; Program verification; Simulation relations