MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Claude Chevenier" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 1 documents found, showing 1 through 1.
ATOM RSS
  • An Algebraic Specification of the Steam-Boiler Control System  
  • by Michel Bidoit, Claude Chevenier, Christine Pellen — 1996
  • …We describe how to derive an algebraic specification of the Steam-Boiler Control System starting from the informal requirements provided to the participants of the Dagstuhl Meeting Methods for Semantics and Speci cation, organized jointly by Jean-Raymond Abrial, Egon Börger and Hans Langmaack in Jun…
  • Cited by 1 (0 self) – Add To MetaCart
Help! Showing 1 through 1.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB