Alberto Arazo

Publication Activity (10 Years)

Years Active: 2000-2001
Publications (10 Years): 0

Publications

Alberto Arazo, Yves Crouzet
Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance Mechanisms. ICECCS (2001)
Cláudia Almeida, Alberto Arazo, Yves Crouzet, Karama Kanoun
Dependability of Computer Control Systems in Power Plants. SAFECOMP (2000)