Paul Benoit

According to our database, Paul Benoit authored at least 3 papers between 1992 and 2021.

Collaborative distances:

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

2021

Distributed Grid computing Manager covering Waste Heat Reuse Constraints.

Rémi Bouzel, Yanik Ngoko, Paul Benoit, Nicolas Sainthérant

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

1999

Météor: A Successful Application of B in a Large Project.

Patrick Behm, Paul Benoit, Alain Faivre, Jean-Marc Meynadier

Proceedings of the FM'99 - Formal Methods, 1999

1992

DECnet for OpenVMS AXP: A Case History.

James V. Colombo, Pamela J. Rickard, Paul Benoit

Digit. Tech. J., 1992