René Casadessus

According to our database, René Casadessus authored at least 1 paper in 1994.

Collaborative distances:

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

1994

Verification by abstraction as a preamble for interoperability test suite generation.

Pierre de Saqui-Sannes, Jean-Pierre Courtiat, René Casadessus

Proceedings of the Protocol Specification, 1994