Claude Chevenier

According to our database, Claude Chevenier authored at least 1 paper in 1995.

Collaborative distances:

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

1995

An Algebraic Specification of the Steam-Boiler Control System.

Michel Bidoit, Claude Chevenier, Christine Pellen, Jérôme Ryckbosch

Proceedings of the Formal Methods for Industrial Applications, 1995