From a B Specification to UML StateChart Diagrams.

Ahmed Hammad, Bruno Tatibout, Jean-Christophe Voisinet, Weiping Wu

Browse the full ICFEM paper archive.