Production year

Number of documents



Conference papers3 documents

  • Hervé Panetto, Jean-François Pétin, Dominique Méry. Formalisation of enterprise modelling standards using UML and the B method.. 8th International Conference on Concurrent Enterprising, ICE2002, Jun 2002, Rome, Italy. pp.93-101. ⟨hal-00120944⟩
  • Dominique Cansell, Ganesh Gopalakrishnan, Mike Jones, Dominique Méry, Airy Weinzoepflen. Incremental Proof of the Producer/Consumer Property for the PCI Protocol. 2nd International Conference of B and Z Users - ZB 2002, 2002, Grenoble, France, pp.22-41. ⟨inria-00100888⟩
  • Dominique Cansell, Dominique Méry. Integration of the proof process in the system development through refinement steps. 5th Forum on Specification and Design Language - Workshop SFP in FDL'02, 2002, Marseille, France, 12 p. ⟨inria-00100945⟩

Reports1 document

  • Dominique Cansell, Dominique Méry. Développement de fonctions définies récursivement en B : Application du B événementiel. [Interne] A02-R-347 || cansell02b, 2002, 25 p. ⟨inria-00101076⟩