Format:
1 Online-Ressource (XVIII, 402 S.)
,
graph. Darst.
ISBN:
3642336779
,
9783642336775
,
9783642336782
Series Statement:
Lecture notes in computer science 7612
Language:
English
Subjects:
Computer Science
Keywords:
Sicherheitskritisches System
;
Komplexes System
;
Softwaresystem
;
Zuverlässigkeit
;
Computersicherheit
;
Fehlertoleranz
;
Risikoanalyse
;
Formale Methode
;
Sicherheitskritisches System
;
Softwaresystem
;
Zuverlässigkeit
;
Computersicherheit
;
Fehlertoleranz
;
Risikoanalyse
;
Testen
;
Formale Methode
;
Verkehrstechnik
;
Konferenzschrift
;
Konferenzschrift
DOI:
10.1007/978-3-642-33678-2
URL:
Volltext
(lizenzpflichtig)
Author information:
Ortmeier, Frank 1973-