Carole Khoury

According to our database, Carole Khoury authored at least 2 papers between 1995 and 1999.

Collaborative distances:

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

1999

Dynamic Systems with Implicit State.

Marie-Claude Gaudel, Carole Khoury, Alexandre V. Zamulin

Proceedings of the Fundamental Approaches to Software Engineering, 1999

1995

A Formal Specification of the Steam-Boiler Control Problem by Algebraic Specifications with Implicit State.

Marie-Claude Gaudel, Pierre Dauchy, Carole Khoury

Proceedings of the Formal Methods for Industrial Applications, 1995