|
Search the dblp DataBase
Bruno Tatibouët:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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. [Citation Graph (0, 0)][DBLP] B, 1998, pp:273-292 [Conf]
- Bruno Tatibouët, Isabelle Jacques
Understanding B Specifications with UML Class Diagram and OCL Constraints. [Citation Graph (0, 0)][DBLP] ICEIS (3), 2006, pp:475-478 [Conf]
- Ahmed Hammad, Bruno Tatibouët, Jean-Christophe Voisinet, Weiping Wu
From a B Specification to UML StateChart Diagrams. [Citation Graph (0, 0)][DBLP] ICFEM, 2002, pp:511-522 [Conf]
- Bruno Tatibouët, Antoine Requet, Jean-Christophe Voisinet, Ahmed Hammad
Java Card Code Generation from B Specifications. [Citation Graph (0, 0)][DBLP] ICFEM, 2003, pp:306-318 [Conf]
- Jean-Christophe Voisinet, Bruno Tatibouët, Isabelle Jacques
Generation of OCL Constraints from B Abstract Machines. [Citation Graph (0, 0)][DBLP] Software Engineering Research and Practice, 2005, pp:260-266 [Conf]
Search in 0.001secs, Finished in 0.001secs
|