Carole Khoury

Publication Activity (10 Years)

Years Active: 1995-1999
Publications (10 Years): 0

Publications

Marie-Claude Gaudel, Carole Khoury, Alexandre V. Zamulin
Dynamic Systems with Implicit State. FASE (1999)
Marie-Claude Gaudel, Pierre Dauchy, Carole Khoury
A Formal Specification of the Steam-Boiler Control Problem by Algebraic Specifications with Implicit State. Formal Methods for Industrial Applications (1995)