Showing 1 - 3 results of 3 for search 'Castro, Pablo Francisco', query time: 0.01s
Refine Results
-
1
MaskD : a tool for measuring masking fault-tolerance by Putruele, Luciano, Demasi, Ramiro Adrián, Castro, Pablo Francisco, D'Argenio, Pedro Ruben
Published 2023
Get full text
publishedVersion -
2
Playing against fair adversaries in stochastic games with total rewards by Castro, Pablo Francisco, D'Argenio, Pedro Ruben, Demasi, Ramiro Adrián, Putruele, Luciano
Published 2023
Get full text
info:eu-repo/semantics/publishedVersion -
3
Extensión de lógicas temporales con nociones deónticas para la especificación y análisis de sistemas tolerantes a fallas by Kilmurray, Cecilia Noelia
Published 2021Other Authors: “…Castro, Pablo Francisco…”
doctoralThesis