UID:
kobvindex_ZLB15658241
Format:
XVIII, 402 Seiten
,
Ill., graph. Darst.
,
24 cm
ISBN:
9783642336775
,
3642336779
Series Statement:
Lecture notes in computer science 7612
Note:
Literaturangaben
Language:
English
Keywords:
Sicherheitskritisches System
;
Softwaresystem
;
Zuverlässigkeit
;
Computersicherheit
;
Fehlertoleranz
;
Risikoanalyse
;
Testen
;
Formale Methode
;
Verkehrstechnik
;
Kongress 2012
;
Kongress 2012
;
Konferenzschrift
Author information:
Ortmeier, Frank