The Gap between Specification and Synthesis.

Stephen J. Mellor

Published in: MODELSWARD (2013)

Keyphrases

high level
formal specification
specification language
data sets
real world
data mining
formal verification
databases
neural network
social networks
computer vision
face recognition
multi agent systems
low level