Formal Methods and Software Engineering: 9th International ...
Preview
96 Chunqing Chen, Jin Song Dong, and Jun Sun VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System ........................... .............. 116 Jacques Julliand, Hassan Mountassir, and Emilie Oudot ...