Login / Signup
Modeling, analyzing, and consistency checking privacy requirements using eddy.
Daniel Smullen
Travis D. Breaux
Published in:
HotSoS (2016)
Keyphrases
</>
consistency checking
privacy requirements
query answering
privacy preserving
image sequences
temporal reasoning
temporal constraints