From the Simulation to the Verification of Estelle Specifications.

Pierre de Saqui-Sannes, Jean-Pierre Courtiat

Browse the full FORTE paper archive.