Login / Signup
Diego Machado Dias
Publication Activity (10 Years)
Years Active: 2011-2014
Publications (10 Years): 0
Top Topics
Theorem Prover
Fault Tolerant
State Machine
High Assurance
Top Venues
Sci. Comput. Program.
</>
Publications
</>
Diego Machado Dias
,
Juliano Iyoda
Compositionality and correctness of fault tolerant patterns in HOL4.
Sci. Comput. Program.
92 (2014)
Diego Machado Dias
,
Juliano Manabu Iyoda
Behavioural Preservation in Fault Tolerant Patterns.
SBMF
(2011)