Bruno Tatibouët
According to our database1,
Bruno Tatibouët
authored at least 7 papers
between 1998 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
1998
2000
2002
2004
2006
2008
2010
2012
2014
0
1
2
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2014
Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014
2010
Innov. Syst. Softw. Eng., 2010
2006
Understanding B Specifications with UML Class Diagram and OCL Constraints.
Proceedings of the ICEIS 2006, 2006
2005
Generation of OCL Constraints from B Abstract Machines.
Proceedings of the International Conference on Software Engineering Research and Practice, 2005
2003
Proceedings of the Formal Methods and Software Engineering, 2003
2002
Proceedings of the Formal Methods and Software Engineering, 2002
1998
Specification of an Integrated Circuit Card Protocol Application Using the B Method and Linear Temporal Logic.
Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998