TY - BOOK AU - Anderson,Stuart ED - SAFECOMP TI - Computer safety, reliability, and security: 21st international conference ; proceedings T2 - Lecture notes in computer science SN - 3540441573 PY - 2002/// 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 - 2002 KW - Catania KW - gnd-content N1 - Literaturangaben; Literaturangaben UR - https://swbplus.bsz-bw.de/bsz100652891inh.htm UR - https://swbplus.bsz-bw.de/bsz100652891kap.htm UR - https://swbplus.bsz-bw.de/bsz100652891cov.jpg UR - https://zbmath.org/?q=an:1045.68627 ER -