Title: Computer Safety, Reliability, and Security
Subjects: Mensch-Maschine-Kommunikation, Zuverlässigkeit, Computersicherheit, Technische Sicherheit, Sicherheitskritisches System, Computer software, Fehlertoleranz, Eingebettetes System, Datensicherung, Formale Methode, Reliability, Congresses, Computer security, Electronic digital computers, Softwareentwicklung, Systementwicklung, Computer software, reliability, Electronic digital computers, reliability, Industrial safety