LiVe: Timely Error Detection in Light-Lockstep Safety Critical Systems

International Conferences 2014