On generation of properties from specification.

Keerthikumara Devarajegowda Wolfgang Ecker

Published in: HLDVT (2017)

Keyphrases

computer vision
wide range
formal language
data sets
neural network
information retrieval
decision making
data structure
search algorithm
multiresolution
data model
formal methods