Towards an Enforceable GDPR Specification.

François Hublet Alexander Kvamme Srdan Krstic

Published in: CoRR (2024)

Keyphrases

high level
specification language
databases
formal specification
decision making
image processing
multiscale
formal verification
state machine
real time
neural network
computer vision
information systems
feature selection
website
software development