Sign in
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