Runtime enforcement of K-step opacity.

Yliès Falcone Hervé Marchand

Published in: CDC (2013)

Keyphrases

post processing
neural network
data sets
e learning
image processing
website
search algorithm
distributed systems
access control