受强制性开放获取政策约束的文章 - Ramiro Demasi了解详情
可在其他位置公开访问的文章：7 篇
Routing in delay-tolerant networks under uncertain contact plans
FD Raverta, JA Fraire, PG Madoery, RA Demasi, JM Finochietto, ...
Ad Hoc Networks 123, 102663, 2021
强制性开放获取政策： German Research Foundation, European Commission, Government of Argentina
Measuring masking fault-tolerance
PF Castro, PR D’Argenio, R Demasi, L Putruele
International Conference on Tools and Algorithms for the Construction and …, 2019
强制性开放获取政策： European Commission, Government of Argentina
Playing against fair adversaries in stochastic games with total rewards
PF Castro, PR D’Argenio, R Demasi, L Putruele
International Conference on Computer Aided Verification, 48-69, 2022
强制性开放获取政策： European Commission, Government of Argentina
Simulation relations for fault-tolerance
R Demasi, PF Castro, TSE Maibaum, N Aguirre
Formal Aspects of Computing 29, 1013-1050, 2017
强制性开放获取政策： Government of Argentina
Tightening the contract refinements of a system architecture
A Cimatti, R Demasi, S Tonetta
Formal Methods in System Design 52, 88-116, 2018
强制性开放获取政策： European Commission
MaskD: a tool for measuring masking fault-tolerance
L Putruele, R Demasi, PF Castro, PR D’Argenio
International Conference on Tools and Algorithms for the Construction and …, 2022
强制性开放获取政策： European Commission, Government of Argentina
syntmaskft: A tool for synthesizing masking fault-tolerant programs from deontic specifications
R Demasi, PF Castro, N Ricci, TSE Maibaum, N Aguirre
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
强制性开放获取政策： Government of Argentina
出版信息和资助信息由计算机程序自动确定