From a B Specification to UML StateChart Diagrams.

Tue, 01 Jan 2002 00:00:00 +0100

Ahmed Hammad, Bruno Tatibouët, Jean-Christophe Voisinet, Weiping Wu:
From a B Specification to UML StateChart Diagrams. ICFEM 2002: 511-522