MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Michel Charpentier" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 19 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • A UNITY Mapping Operator for Distributed Programs  
  • by Michel Charpentier — 1997 — Fourth International Symposium of Formal Methods Europe (FME'97), volume 1313 of Lecture Notes in Computer Science
  • …A UNITY Mapping Operator for Distributed Programs ? Michel Charpentier INPT-ENSEEIHT / IRIT 2…
  • Cited by 2 (2 self) – Add To MetaCart
  • An Approach to Composition Motivated by wp  
  • by Michel Charpentier Department, Michel Charpentier — 2002 — Fundamental Approaches to Software Engineering (FASE'2002
  • …An Approach to Composition Motivated by wp ⋆ Michel Charpentier Department of Computer Science…
  • Add To MetaCart
  • Tailoring UNITY to Distributed Program Design  
  • by Michel Charpentier Mamoun, Michel Charpentier, Mamoun Filali, Gerard Padiou — 1997 — In International Workshop on Formal Methods for Parallel Programming: Theory and Applications (FMPPTA’98), volume 1388 of Lecture Notes in Computer Science
  • …Tailoring UNITY to Distributed Program Design Michel Charpentier, Mamoun Filali, Philippe Mauran…
  • Add To MetaCart
  • Abstracting Communication to Reason about Distributed Algorithms  
  • by Michel Charpentier Mamoun, Michel Charpentier, Mamoun Filali — 1996 — Tenth International Workshop on Distributed Algorithms (WDAG'96), volume 1151 of Lecture Notes in Computer Science
  • …Abstracting Communication to Reason about Distributed Algorithms ? Michel Charpentier, Mamoun…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB