Bruno Tatibouët

Publication Activity (10 Years)

Years Active: 1998-2014
Publications (10 Years): 0

Top Topics

Modeling Language

Technical Systems

Industrial Applications

Top Venues

Publications

Abbas Abdulhameed, Ahmed Hammad, Hassan Mountassir, Bruno Tatibouët
An Approach based on SysML and SystemC to Simulate Complex Systems. MODELSWARD (2014)
Régine Laleau, Farida Semmak, Abderrahman Matoussi, Dorian Petit, Ahmed Hammad, Bruno Tatibouët
A first attempt to combine SysML requirements diagrams and B. Innov. Syst. Softw. Eng. 6 (1-2) (2010)
Bruno Tatibouët, Isabelle Jacques
Understanding B Specifications with UML Class Diagram and OCL Constraints. ICEIS (3) (2006)
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)
Ahmed Hammad, Bruno Tatibouët, Jean-Christophe Voisinet, Weiping Wu
From a B Specification to UML StateChart Diagrams. ICFEM (2002)
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)