Jean-Christophe Voisinet

According to our database1, Jean-Christophe Voisinet authored at least 4 papers between 2002 and 2005.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2005
Generation of OCL Constraints from B Abstract Machines.
Proceedings of the International Conference on Software Engineering Research and Practice, 2005

2003
Java Card Code Generation from B Specifications.
Proceedings of the Formal Methods and Software Engineering, 2003

2002
JBTools: an experimental platform for the formal B method.
Proceedings of the naugural International Symposium on Principles and Practice of Programming in Java, 2002

From a B Specification to UML StateChart Diagrams.
Proceedings of the Formal Methods and Software Engineering, 2002


  Loading...