Format:
X, 361 S.
,
graph. Darst.
ISBN:
9783540709510
,
3540709517
Series Statement:
Lecture notes in computer science 4346
Language:
English
Subjects:
Computer Science
Keywords:
Softwareentwicklung
;
Zuverlässigkeit
;
Fehlertoleranz
;
Formale Methode
;
Programmverifikation
;
Softwarespezifikation
;
Formale Methode
;
Zuverlässigkeit
;
Sicherheitskritisches System
;
Eingebettetes System
;
Softwareentwicklung
;
Zuverlässigkeit
;
Konferenzschrift
Author information:
Brim, Luboš 1952-