| 2006 |
|---|
| 5 | | Bruno Tatibouët,
Isabelle Jacques:
Understanding B Specifications with UML Class Diagram and OCL Constraints.
ICEIS (3) 2006: 475-478 |
| 2005 |
|---|
| 4 | | Jean-Christophe Voisinet,
Bruno Tatibouët,
Isabelle Jacques:
Generation of OCL Constraints from B Abstract Machines.
Software Engineering Research and Practice 2005: 260-266 |
| 2003 |
|---|
| 3 | EE | Bruno Tatibouët,
Antoine Requet,
Jean-Christophe Voisinet,
Ahmed Hammad:
Java Card Code Generation from B Specifications.
ICFEM 2003: 306-318 |
| 2002 |
|---|
| 2 | EE | Ahmed Hammad,
Bruno Tatibouët,
Jean-Christophe Voisinet,
Weiping Wu:
From a B Specification to UML StateChart Diagrams.
ICFEM 2002: 511-522 |
| 1998 |
|---|
| 1 | EE | Jacques Julliand,
Bruno Legeard,
Thierry Machicoane,
Benoit Parreaux,
Bruno Tatibouët:
Specification of an Integrated Circuit Card Protocol Application Using the B Method and Linear Temporal Logic.
B 1998: 273-292 |
