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]
Abstract is missing.