Alberto Arazo

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2001

2 Alberto Arazo, Yves Crouzet: Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance Mechanisms. ICECCS 2001: 69-79

2000

1 Cláudia Almeida, Alberto Arazo, Yves Crouzet, Karama Kanoun: Dependability of Computer Control Systems in Power Plants. SAFECOMP 2000: 165-175

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

Coauthor Index