Eduardo T. Rödel

According to our database, Eduardo T. Rödel authored at least 1 paper in 2003.

Collaborative distances:

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

2003

On the Use of Formal Specifications to Analyze Fault Behaviors of Distributed Systems.

Fernando Luís Dotti, Osmar Marchi dos Santos, Eduardo T. Rödel

Proceedings of the Dependable Computing, First Latin-American Symposium, 2003