TY - BOOK AU - Voges,Udo ED - SAFECOMP TI - Computer safety, reliability and security: 20th international conference, Budapest, Hungary, September 26 - 28, 2001 ; proceedings T2 - Lecture notes in computer science SN - 3540426078 PY - 2001/// CY - Berlin, Heidelberg [u.a.] PB - Springer KW - Computer software KW - Reliability KW - Congresses KW - Industrial safety KW - Computer security KW - Electronic digital computers KW - Formale Methode KW - Mensch-Maschine-Kommunikation KW - Softwareentwicklung KW - Systementwicklung KW - Technische Sicherheit KW - Zuverlässigkeit KW - Konferenzschrift KW - 2001 KW - Budapest KW - gnd-content N1 - Literaturangaben UR - https://swbplus.bsz-bw.de/bsz095230297inh.htm UR - https://swbplus.bsz-bw.de/bsz095230297kap.htm UR - https://swbplus.bsz-bw.de/bsz095230297cov.jpg UR - https://zbmath.org/?q=an:0977.68873 ER -