M. Couzinier

According to our database, M. Couzinier authored at least 1 paper in 2005.

Collaborative distances:

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

2005

Formal Verification of Dynamic UML Diagrams using TLA+.

M. Couzinier, Louis Féraud

Proceedings of the Second IASTED International Multi-Conference on Automation, 2005