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