Specifications.

Jure Kukovec Thanh-Hai Tran Igor Konnov

Published in: ABZ (2018)

Keyphrases

delay insensitive
high level
database
data sets
neural network
relational databases
bounded model checking
artificial intelligence
computer vision
information systems
image processing
multimedia
multi agent
formal specification
control flow
operational semantics