Format:
XIV, 456 S. :
,
Ill., graph. Darst. ;
,
24 cm.
ISBN:
978-3-540-87697-7
Series Statement:
Lecture notes in computer science 5219
Note:
Literaturangaben
Language:
English
Subjects:
Computer Science
Keywords:
Computersicherheit
;
Datensicherung
;
Zuverlässigkeit
;
Formale Methode
;
Mensch-Maschine-Kommunikation
;
Technische Sicherheit
;
Zuverlässigkeit
;
Systementwicklung
;
Sicherheitskritisches System
;
Zuverlässigkeit
;
Fehlertoleranz
;
Eingebettetes System
;
Softwareentwicklung
;
Zuverlässigkeit
;
Formale Methode
;
Konferenzschrift
;
Konferenzschrift
URL:
http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016761275&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA