Structural Synthesis for GXW Specifications.

Chih-Hong Cheng Yassine Hamza Harald Ruess

Published in: CoRR (2016)

Keyphrases

structural analysis
database
structural information
real time
data sets
real world
high level
program synthesis
genetic algorithm
multiscale
multi agent systems
user interface
specification language
delay insensitive