Computer Safety, Reliability, and Securityde Janusz GórskiMateriasMensch-Maschine-KommunikationZuverlässigkeitComputersicherheitTechnische SicherheitSicherheitskritisches SystemComputer softwareFehlertoleranzEingebettetes SystemDatensicherungFormale Methode