Umfang:
1 Online-Ressource (X, 361 S.)
,
graph. Darst.
ISBN:
9783540709510
,
9783540709527
Serie:
Lecture notes in computer science 4346
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Softwareentwicklung
;
Zuverlässigkeit
;
Fehlertoleranz
;
Formale Methode
;
Programmverifikation
;
Softwarespezifikation
;
Formale Methode
;
Zuverlässigkeit
;
Sicherheitskritisches System
;
Eingebettetes System
;
Softwareentwicklung
;
Zuverlässigkeit
;
Konferenzschrift
DOI:
10.1007/978-3-540-70952-7
Mehr zum Autor:
Brim, Luboš 1952-