Emmanuel Dieul

According to our database, Emmanuel Dieul authored at least 1 paper in 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

From Requirements Models to Formal Specifications in B.

Christophe Ponsard, Emmanuel Dieul

Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, 2006