Patrick Maigron

Publication Activity (10 Years)

Years Active: 1992-1993
Publications (10 Years): 0

Publications

Ana R. Cavalli, Sung Un Kim, Patrick Maigron
Improving Conformance Testing for LOTOS. FORTE (1993)
Ana R. Cavalli, Patrick Maigron, Sung Un Kim
Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications. Protocol Test Systems (1992)