Alberto Arazo

According to our database, Alberto Arazo authored at least 2 papers between 2000 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2001

Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance Mechanisms.

Alberto Arazo, Yves Crouzet

Proceedings of the 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 2001

2000

Dependability of Computer Control Systems in Power Plants.

Cláudia Almeida, Alberto Arazo, Yves Crouzet, Karama Kanoun

Proceedings of the Computer Safety, 2000