Jean-Christophe Voisinet

Publication Activity (10 Years)

Years Active: 2002-2005
Publications (10 Years): 0

Publications

Jean-Christophe Voisinet, Bruno Tatibouët, Isabelle Jacques
Generation of OCL Constraints from B Abstract Machines. Software Engineering Research and Practice (2005)
Bruno Tatibouët, Antoine Requet, Jean-Christophe Voisinet, Ahmed Hammad
Java Card Code Generation from B Specifications. ICFEM (2003)
Jean-Christophe Voisinet
JBTools: an experimental platform for the formal B method. PPPJ/IRE (2002)
Ahmed Hammad, Bruno Tatibouët, Jean-Christophe Voisinet, Weiping Wu
From a B Specification to UML StateChart Diagrams. ICFEM (2002)