Patrick Maigron

According to our database, Patrick Maigron authored at least 2 papers between 1992 and 1993.

Collaborative distances:

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

1993

Improving Conformance Testing for LOTOS.

Ana R. Cavalli, Sung Un Kim, Patrick Maigron

Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993

1992

Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications.

Ana R. Cavalli, Patrick Maigron, Sung Un Kim

Proceedings of the Protocol Test Systems, V, 1992