The ASTREÉ Analyzer.

Patrick Cousot Radhia Cousot Jérôme Feret Laurent Mauborgne Antoine Miné David Monniaux Xavier Rival

Published in: ESOP (2005)

Keyphrases

data acquisition
real time
data mining
machine learning
high speed
data streams