|
Search the dblp DataBase
Jean-Christophe Voisinet:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- Jean-Christophe Voisinet
JBTools: an experimental platform for the formal B method. [Citation Graph (0, 0)][DBLP] PPPJ/IRE, 2002, pp:137-139 [Conf]
Search in 0.001secs, Finished in 0.001secs
|