Structural Synthesis for GXW Specifications.

Chih-Hong Cheng Yassine Hamza Harald Ruess

Published in: CAV (1) (2016)

Keyphrases

structural information
structural analysis
databases
information systems
high level
program synthesis
evolutionary algorithm
computer vision
multiscale
learning environment
distributed systems
data flow
concurrent systems