Real World Verification.

André Platzer Jan-David Quesel Philipp Rümmer

Published in: CADE (2009)

Keyphrases

web pages
real world
website
synthetic data
wide range
data sets
case study
real time
data mining
model checking
decision making
similarity measure
multiscale
artificial intelligence
data structure
digital libraries
concurrent systems