Login / Signup
Resilient multi-core systems: a hierarchical formal model for N-variant executions.
Axel W. Krings
Li Tan
Clinton Jeffery
Robert Rinker
Published in:
CSIIRW (2009)
Keyphrases
</>
formal model
multi core systems
multi core processors
security properties
security patterns
general purpose
shared memory