Resilient multi-core systems: a hierarchical formal model for N-variant executions

Axel W. Krings, Li Tan, Clinton Jeffery, Robert Rinker. Resilient multi-core systems: a hierarchical formal model for N-variant executions. In Frederick T. Sheldon, Greg Peterson, Axel W. Krings, Robert K. Abercrombie, Ali Mili, editors, Fifth Cyber Security and Information Intelligence Research Workshop, CSIIRW '09, Knoxville, TN, USA, April 13-15, 2009. pages 23, ACM, 2009. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.