UID:
kobvindex_ZLB14317023
Format:
X, 361 Seiten
,
graph. Darst.
,
24 cm
ISBN:
9783540709510
,
3540709517
Series Statement:
Lecture notes in computer science 4346
Note:
Literaturangaben
,
Text engl.
Language:
English
Keywords:
Softwareentwicklung
;
Zuverlässigkeit
;
Fehlertoleranz
;
Formale Methode
;
Kongress
;
Bonn 〈2006〉
;
Programmverifikation
;
Softwarespezifikation
;
Formale Methode
;
Zuverlässigkeit
;
Kongress
;
Bonn 〈2006〉
;
Sicherheitskritisches System
;
Eingebettetes System
;
Softwareentwicklung
;
Zuverlässigkeit
;
Kongress
;
Bonn 〈2006〉
;
Kongress
;
Konferenzschrift