VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System.

Jacques Julliand, Hassan Mountassir, Emilie Oudot

Browse the full ICFEM paper archive.