C Specification.

Lukas Humbel Daniel David Schwyn Nora Hossle Roni Haecki Melissa Licciardello Jan Schaer David Cock Michael Giardino Timothy Roscoe

Published in: SPIN (2021)

Keyphrases

real time
high level
business rules
learning algorithm
social networks
three dimensional
information technology
transition systems
formal language
formal specification
multiresolution
video sequences
database systems
case study
information retrieval
machine learning
real world
databases