Format:
XIX, 426 S.
,
Ill., graph. Darst.
ISBN:
3540201262
Series Statement:
Lecture notes in computer science 2788
Note:
Literaturangaben
Additional Edition:
Erscheint auch als Online-Ausgabe Anderson, Stuart Computer Safety, Reliability, and Security Berlin, Heidelberg : Springer Berlin Heidelberg, 2003 ISBN 9783540201267
Language:
English
Keywords:
Softwareentwicklung
;
Zuverlässigkeit
;
Formale Methode
;
Mensch-Maschine-Kommunikation
;
Technische Sicherheit
;
Zuverlässigkeit
;
Systementwicklung
;
Konferenzschrift
;
Kongress
;
Konferenzschrift
Author information:
Anderson, Stuart
