Paul Benoit

Publication Activity (10 Years)

Years Active: 1992-2021
Publications (10 Years): 1

Top Topics

Scheduling Strategy

Support Environment

Top Venues

Publications

Rémi Bouzel, Yanik Ngoko, Paul Benoit, Nicolas Sainthérant
Distributed Grid computing Manager covering Waste Heat Reuse Constraints. DATE (2021)
Patrick Behm, Paul Benoit, Alain Faivre, Jean-Marc Meynadier
Météor: A Successful Application of B in a Large Project. World Congress on Formal Methods (1999)
James V. Colombo, Pamela J. Rickard, Paul Benoit
DECnet for OpenVMS AXP: A Case History. Digit. Tech. J. 4 (4) (1992)