Alberto Arazo

	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

1	Cláudia Almeida	[1]
2	Yves Crouzet	[1] [2]
3	Karama Kanoun	[1]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page