syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications Conferences

Overview
Research
Identity
Additional Document Info
View All

authors

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

status

published

publication date

2015

has subject area

Artificial Intelligence & Image Processing (Science Metrix)

published in

Lecture Notes in Computer Science Journal