Format:
XIII, 404 S. :
,
Ill., graph. Darst.
ISBN:
978-3-540-29200-5
,
3-540-29200-4
Series Statement:
Lecture notes in computer science 3688
Note:
Literaturangaben
Language:
English
Subjects:
Computer Science
Keywords:
Softwareentwicklung
;
Zuverlässigkeit
;
Formale Methode
;
Mensch-Maschine-Kommunikation
;
Technische Sicherheit
;
Zuverlässigkeit
;
Systementwicklung
;
Sicherheitskritisches System
;
Zuverlässigkeit
;
Fehlertoleranz
;
Konferenzschrift
;
Kongress
;
Konferenzschrift
;
Konferenzschrift
;
Konferenzschrift
URL:
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3688