Resilient Multi-core Systems: A Hierarchical Formal Model for N-variant Executions

by Axel Krings , Li Tan , Clinton Jeffery , Robert Rinker
Venue:Proc. CSIIRW09, ORNL
Citations:2 - 2 self