Login / Signup
Automatic Verification of Parametric Specifications with Complex Topologies.
Johannes Faber
Carsten Ihlemann
Swen Jacobs
Viorica Sofronie-Stokkermans
Published in:
IFM (2010)
Keyphrases
</>
high level
real world
database
data sets
multiresolution
genetic algorithm
social networks
image segmentation
programming language
complex systems
computationally expensive