syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications Conference Paper uri icon

  •  
  • Overview
  •  
  • Identity
  •  
  • Additional Document Info
  •  
  • View All
  •  

authors

  • Demasi, Ramiro
  • Castro, Pablo F
  • Ricci, Nicolás
  • Maibaum, Thomas
  • Aguirre, Nazareno

publication date

  • 2015