Login / Signup

Automatic Verification of Parametric Specifications with Complex Topologies.

Johannes FaberCarsten IhlemannSwen JacobsViorica 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