SAFECOMP 2007 (2007 Nuremberg, Germany)

• Computer safety, reliability, and security