UID:
kobvindex_ZLB14317023
Umfang:
X, 361 Seiten
,
graph. Darst.
,
24 cm
ISBN:
9783540709510
,
3540709517
Serie:
Lecture notes in computer science 4346
Anmerkung:
Literaturangaben
,
Text engl.
Sprache:
Englisch
Schlagwort(e):
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