Niezawodność oprogramowania w systemach o krytycznym znaczeniu dla bezpieczeństwa

„Niezawodność oprogramowania w systemach krytycznych dla bezpieczeństwa: A new approach to develop reliable, low cost safety critical systems" omawia szczegółowo różne techniki poprawy niezawodności oprogramowania w systemach krytycznych. Książka zawiera również krytyczną analizę obecnych metod stosowanych w rozwoju systemów krytycznych dla bezpieczeństwa. Z pewnością książka ta ujawnia, w jaki sposób można opracować niezawodne oprogramowanie dla systemów o krytycznym znaczeniu dla bezpieczeństwa przy niskich kosztach i wysokiej niezawodności. Książka może być wykorzystywana do nauczania zarówno na poziomie licencjackim, jak i podyplomowym.