Toggle navigation
Notables
de la Ciencia
ACERCA DE
PROYECTO
Historia del proyecto
Contacto
JavaScript is disabled for your browser. Some features of this site may not work without it.
Ricci, Nicolás
PRODUCCION CIENTÍFICO TECNOLÓGICA
Mostrando ítems 1-1 de 1
Artículo
syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications
Demasi, Ramiro
;
Castro, Pablo Francisco
;
Ricci, Nicolás
;
Maibaum, Thomas S. E.
;
Aguirre, Nazareno Matias
(
Springer
,
2015-04
)
Mostrando ítems 1-1 de 1