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

Jacques Julliand Hassan Mountassir Emilie Oudot

Published in: ICFEM (2007)

Keyphrases

information integration
machine learning
information systems
three dimensional
data analysis
petri net
user friendly
software tools
graphical interface