طراحی نرمافزارهای مطمئن و تحملپذیری اشکال
سیستمهای کامپیوتری - اطمینانپذیری / محاسبه تحملپذیری خطا