Mohamed Kaâniche

• Computer Safety, Reliability, and Security
• Student Forum
• Verification and Evaluation of Computer and Communication Systems
• Dependable Computing - EDCC 2005