C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Proving Non-interference on Reachability Properties: A Refinement Approach.
Marc Frappier
Amel Mammar
Published in:
APSEC (2011)
Keyphrases
</>
desirable properties
real world
search engine
computer vision
expert systems
evolutionary algorithm