1 paper
Mohamed Alsharnouby, Anil Somayaji
Safety-critical systems must always have predictable and reliable behavior, otherwise systems fail and lives are put at risk. Even with the most rigorous testing it is impossible t…