Polyglot: Systematic Analysis for Multiple Statechart Formalisms.

Daniel Balasubramanian Corina S. Pasareanu Gabor Karsai Michael R. Lowry

Published in: TACAS (2013)

Keyphrases

image analysis
data analysis
statistical analysis
real time
real world
artificial intelligence
image processing
information technology
mobile robot